diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 6b165af1eb7..1a5be592818 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -11120,8 +11120,7 @@ clear_garbaged_frames (void) | |||
| 11120 | 11120 | ||
| 11121 | 11121 | ||
| 11122 | /* Redisplay the echo area of the selected frame. If UPDATE_FRAME_P, update | 11122 | /* Redisplay the echo area of the selected frame. If UPDATE_FRAME_P, update |
| 11123 | selected_frame. Value is the affected frame if the mini-windows height has | 11123 | selected_frame. */ |
| 11124 | been changed. */ | ||
| 11125 | 11124 | ||
| 11126 | static void | 11125 | static void |
| 11127 | echo_area_display (bool update_frame_p) | 11126 | echo_area_display (bool update_frame_p) |