Fri, 18 Feb 2000 23:32:05 +0000 |
Thien-Thi Nguyen |
(hs-flag-region): No longer use `intangible' overlay property.
|
Fri, 18 Feb 2000 22:03:40 +0000 |
Dave Love |
*** empty log message ***
|
Fri, 18 Feb 2000 21:34:40 +0000 |
Dave Love |
Amend last change to check for echo-keystrokes being zero, not nil.
|
Fri, 18 Feb 2000 21:15:05 +0000 |
Dave Love |
Make echo-keystrokes `number'.
|
Fri, 18 Feb 2000 20:11:54 +0000 |
Dave Love |
*** empty log message ***
|
Fri, 18 Feb 2000 20:10:00 +0000 |
Dave Love |
(echo_keystrokes): Remove declaration.
|
Fri, 18 Feb 2000 20:00:55 +0000 |
Dave Love |
Remove @dots from encode-time header.
|