Wed, 21 Jul 1999 21:43:03 +0000 |
Gerd Moellmann |
(make-mode-line-mouse-sensitive): Add key
|
Wed, 21 Jul 1999 21:43:03 +0000 |
Gerd Moellmann |
Ditto.
|
Wed, 21 Jul 1999 21:43:03 +0000 |
Gerd Moellmann |
(top-level): Give `display' property `format-list-atomic-p.
|
Wed, 21 Jul 1999 21:43:03 +0000 |
Gerd Moellmann |
(after-setting-font-hooks): New; from Eric Banchrow
|
Wed, 21 Jul 1999 21:43:03 +0000 |
Gerd Moellmann |
(scroll-bar-timer): New.
|
Wed, 21 Jul 1999 21:43:03 +0000 |
Gerd Moellmann |
(command-line-1): Activate tooltip mode if interactive.
|
Wed, 21 Jul 1999 05:53:29 +0000 |
Paul D. Smith |
* Add configure option to enable dmalloc library.
|
Tue, 20 Jul 1999 22:53:17 +0000 |
Dave Love |
(widget-use-overlay-change): Uncustomize and make it unconditionally t.
|