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.
|