Wed, 12 Jul 2000 18:25:40 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Wed, 12 Jul 2000 18:22:12 +0000 |
Gerd Moellmann |
(term-send-raw-meta): Strip modifiers from the keyboard
|
Wed, 12 Jul 2000 17:28:19 +0000 |
Dave Love |
*** empty log message ***
|
Wed, 12 Jul 2000 17:25:28 +0000 |
Dave Love |
Add optional version as 4th element of specs and use it for several
|
Wed, 12 Jul 2000 16:00:36 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Wed, 12 Jul 2000 15:59:56 +0000 |
Gerd Moellmann |
(redraw_overlapped_rows): Add missing local.
|
Wed, 12 Jul 2000 15:19:03 +0000 |
Dave Love |
Menu help strings now used.
|
Wed, 12 Jul 2000 15:11:40 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Wed, 12 Jul 2000 15:10:50 +0000 |
Gerd Moellmann |
(struct redisplay_interface): Add parameter
|
Wed, 12 Jul 2000 15:10:30 +0000 |
Gerd Moellmann |
(make_current): Preserve the mouse_face_p flag of the
|
Wed, 12 Jul 2000 15:09:53 +0000 |
Gerd Moellmann |
(x_update_window_end): Add parameter
|
Wed, 12 Jul 2000 15:09:01 +0000 |
Gerd Moellmann |
(try_window_reusing_current_matrix, try_window_id):
|
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
|
Tue, 11 Jul 2000 07:34:51 +0000 |
Eli Zaretskii |
(show_help_echo): Update prototype of show_help_echo.
|