Thu, 17 Feb 2000 14:01:20 +0000 |
Eli Zaretskii |
*** empty log message ***
|
Thu, 17 Feb 2000 13:58:22 +0000 |
Eli Zaretskii |
(list-faces-display): Use display-mouse-p, not window-system.
|
Thu, 17 Feb 2000 13:15:26 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Thu, 17 Feb 2000 13:12:27 +0000 |
Gerd Moellmann |
(stop_other_atimers): Don't call cancel_atimer because
|
Thu, 17 Feb 2000 12:15:05 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Thu, 17 Feb 2000 11:10:31 +0000 |
Eli Zaretskii |
*** empty log message ***
|
Thu, 17 Feb 2000 11:09:18 +0000 |
Eli Zaretskii |
(mule-menu-keymap)
|
Thu, 17 Feb 2000 11:08:09 +0000 |
Eli Zaretskii |
(global-map): Menu-bar items converted to the new
|