Fri, 21 Jul 1995 08:30:54 +0000 |
Richard M. Stallman |
(menu-bar-buffer-menu): Function deleted.
|
Fri, 21 Jul 1995 07:51:20 +0000 |
Richard M. Stallman |
(echo_area_window): Declared.
|
Fri, 21 Jul 1995 07:50:50 +0000 |
Richard M. Stallman |
(read_minibuf): Call choose_minibuffer_frame.
|
Fri, 21 Jul 1995 07:50:21 +0000 |
Richard M. Stallman |
(do_switch_frame): Don't call choose_minibuffer_frame.
|
Fri, 21 Jul 1995 07:49:19 +0000 |
Richard M. Stallman |
(echo_area_display): Use selected frame's minibuf window
|
Fri, 21 Jul 1995 07:47:25 +0000 |
Richard M. Stallman |
(command_loop_1): Clear echo area after 2 sec
|
Fri, 21 Jul 1995 07:46:14 +0000 |
Richard M. Stallman |
(update_frame): Check that the echo area is in the frame being displayed.
|