log

age author description
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.