Wed, 12 Jun 2002 20:52:40 +0000 |
Pavel Jank |
Rename menu_bar_activate_event to MENU_BAR_ACTIVATE_EVENT.
|
Wed, 12 Jun 2002 17:24:30 +0000 |
Eli Zaretskii |
*** empty log message ***
|
Wed, 12 Jun 2002 17:23:33 +0000 |
Eli Zaretskii |
Change the maintainer to "none".
|
Wed, 12 Jun 2002 17:20:05 +0000 |
Juanma Barranquero |
*** empty log message ***
|
Wed, 12 Jun 2002 17:18:59 +0000 |
Juanma Barranquero |
(x-handle-switch): Fix handling of x-invocation-args for switches with
|
Wed, 12 Jun 2002 15:50:25 +0000 |
Richard M. Stallman |
*** empty log message ***
|
Wed, 12 Jun 2002 15:50:15 +0000 |
Richard M. Stallman |
(Info-fontify-node): Compute header line specially
|
Wed, 12 Jun 2002 13:55:59 +0000 |
Stefan Monnier |
(menu-bar-showhide-fringe-menu): Don't use `fringe-mode'
|