Tue, 26 Dec 1995 19:11:18 +0000 |
Richard M. Stallman |
(buffers-menu-max-size): Move definition to top of file.
|
Tue, 26 Dec 1995 19:07:21 +0000 |
Richard M. Stallman |
Remove junk accidentally inserted in previous change.
|
Tue, 26 Dec 1995 04:56:42 +0000 |
Richard M. Stallman |
Initial revision
|
Tue, 26 Dec 1995 04:43:32 +0000 |
Richard M. Stallman |
(mouse-buffer-menu): If lots of buffers, group them into multiple panes.
|
Tue, 26 Dec 1995 04:41:21 +0000 |
Richard M. Stallman |
(check_x_display_info, check_x_frame, x_set_font)
|
Tue, 26 Dec 1995 04:39:17 +0000 |
Richard M. Stallman |
(have_menus_p): Renamed from using_x_p.
|
Tue, 26 Dec 1995 04:38:27 +0000 |
Richard M. Stallman |
When turning on default settings,
|
Tue, 26 Dec 1995 04:37:05 +0000 |
Richard M. Stallman |
(read_char_x_menu_prompt): HAVE_X_MENU renamed to HAVE_MENUS.
|
Tue, 26 Dec 1995 04:35:42 +0000 |
Richard M. Stallman |
(LIBXMU): Replace previous change.
|
Tue, 26 Dec 1995 04:34:05 +0000 |
Richard M. Stallman |
(Fy_or_n_p, Fyes_or_no_p): using_x_p renamed to have_menus_p.
|
Tue, 26 Dec 1995 04:33:01 +0000 |
Richard M. Stallman |
(NULL): #undef deleted.
|
Tue, 26 Dec 1995 00:22:04 +0000 |
Richard M. Stallman |
(XMenuActivate): Make sure the menu title is always
|