| Sun, 16 Jul 2000 15:31:10 +0000 |
Dave Love |
*** empty log message ***
|
| Sun, 16 Jul 2000 15:30:34 +0000 |
Dave Love |
(custom-buffer-create-internal): Use a help-echo function to be more
|
| Sun, 16 Jul 2000 15:27:43 +0000 |
Dave Love |
(widget-specify-field, widget-specify-button): Allow
|
| Sat, 15 Jul 2000 15:33:46 +0000 |
Miles Bader |
dummy
|
| Sat, 15 Jul 2000 15:18:35 +0000 |
Miles Bader |
(char_property_eq, char_property_stickiness):
|
| Sat, 15 Jul 2000 15:17:11 +0000 |
Miles Bader |
(display_prop_end, invisible_text_between_p):
|
| Sat, 15 Jul 2000 14:59:26 +0000 |
Miles Bader |
(Fnext_single_char_property_change):
|
| Sat, 15 Jul 2000 12:23:35 +0000 |
Jason Rumney |
*** empty log message ***
|
| Sat, 15 Jul 2000 12:00:51 +0000 |
Jason Rumney |
(help_echo_object, help_echo_pos): New variables.
|
| Sat, 15 Jul 2000 11:56:03 +0000 |
Jason Rumney |
(w32_wnd_proc) [WM_DRAW_ITEM]: Do not try to draw a null title.
|
| Sat, 15 Jul 2000 11:52:21 +0000 |
Jason Rumney |
(w32_menu_show): Call free_menubar_widget_value_tree after menu is
|
| Sat, 15 Jul 2000 11:50:42 +0000 |
Jason Rumney |
(w32-enable-italics, w32-charset-to-codepage-alist): Declare as obsolete.
|
