Mon, 30 Oct 2000 19:56:32 +0000 |
Dave Love |
(imenu-generic-expression)
|
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
|