Tue, 11 Jul 2000 19:59:06 +0000 |
Gerd Moellmann |
(Fsubstitute_command_keys): Handle case that a GC
|
Tue, 11 Jul 2000 19:58:43 +0000 |
Gerd Moellmann |
(x_update_window_begin): No need to turn off the mouse
|
Tue, 11 Jul 2000 19:57:54 +0000 |
Gerd Moellmann |
(direct_output_forward_char): Give up if currently
|
Tue, 11 Jul 2000 19:57:18 +0000 |
Gerd Moellmann |
(struct glyph_row): Add flag mouse_face_p.
|
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
|
Tue, 11 Jul 2000 07:34:51 +0000 |
Eli Zaretskii |
(show_help_echo): Update prototype of show_help_echo.
|
Tue, 11 Jul 2000 07:33:06 +0000 |
Eli Zaretskii |
(show_help_echo): Accept additional parameter
|
Tue, 11 Jul 2000 07:26:25 +0000 |
Eli Zaretskii |
(toplevel): Reference
|
Mon, 10 Jul 2000 20:38:23 +0000 |
Gerd Moellmann |
*** empty log message ***
|