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 ***
|
Mon, 10 Jul 2000 20:37:48 +0000 |
Gerd Moellmann |
(HAVE_XPM): Undo previous change. Check for
|
Mon, 10 Jul 2000 20:36:58 +0000 |
Gerd Moellmann |
(yylex): Accept string literals with newlines in them.
|
Mon, 10 Jul 2000 20:32:14 +0000 |
Gerd Moellmann |
(x_fill_stretch_glyph_string): Consume runs of stretch
|