Mon, 30 Oct 2000 16:25:15 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Mon, 30 Oct 2000 16:24:14 +0000 |
Gerd Moellmann |
(try_scrolling) <PT >= scroll_margin_pos>: Add 1 to the
|
Mon, 30 Oct 2000 15:43:27 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Mon, 30 Oct 2000 15:43:05 +0000 |
Gerd Moellmann |
(safe_eval_handler): Call add_to_log.
|
Mon, 30 Oct 2000 15:36:36 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Mon, 30 Oct 2000 15:36:11 +0000 |
Gerd Moellmann |
(resolve_face_name): Handle case that FACE_NAME
|
Mon, 30 Oct 2000 15:26:46 +0000 |
Gerd Moellmann |
*** empty log message ***
|