Tue, 11 Jul 2000 17:56:56 +0000 |
Dave Love |
*** empty log message ***
|
Tue, 11 Jul 2000 17:55:25 +0000 |
Dave Love |
Don't require easymenu. Use repeat counts in various regexps.
|
Tue, 11 Jul 2000 14:34:31 +0000 |
Dave Love |
*** empty log message ***
|
Tue, 11 Jul 2000 14:33:35 +0000 |
Dave Love |
(widget-plist-member): New alias.
|
Tue, 11 Jul 2000 07:38:54 +0000 |
Eli Zaretskii |
*** empty log message ***
|
Tue, 11 Jul 2000 07:36:21 +0000 |
Eli Zaretskii |
(w32_menu_display_help): Call show_help_echo with
|
Tue, 11 Jul 2000 07:35:39 +0000 |
Eli Zaretskii |
(menu_help_callback): Call show_help_echo with non-zero
|