Mon, 30 Oct 2000 19:49:10 +0000 |
Dave Love |
Speling &c.
|
Mon, 30 Oct 2000 19:29:46 +0000 |
Dave Love |
Changes from Kai G.
|
Mon, 30 Oct 2000 19:10:33 +0000 |
Dave Love |
Fix 2000-10-27 change properly.
|
Mon, 30 Oct 2000 17:23:45 +0000 |
Dave Love |
*** empty log message ***
|
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 ***
|
Mon, 30 Oct 2000 15:23:41 +0000 |
Gerd Moellmann |
(echo_area_display): Don't perform a display update from
|