| Wed, 12 Jul 2000 11:55:03 +0000 |
Dave Love |
make-obsolete, plist-member changes
|
| Wed, 12 Jul 2000 01:08:46 +0000 |
Stefan Monnier |
*** empty log message ***
|
| Wed, 12 Jul 2000 01:08:20 +0000 |
Stefan Monnier |
(back_comment): Use one switch rather than a few `if's.
|
| Tue, 11 Jul 2000 20:02:36 +0000 |
Gerd Moellmann |
*** empty log message ***
|
| 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
|
