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.
|