diff options
| -rw-r--r-- | src/xfns.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/xfns.c b/src/xfns.c index 603d2a8013d..cd9002da270 100644 --- a/src/xfns.c +++ b/src/xfns.c | |||
| @@ -1726,6 +1726,9 @@ x_set_menu_bar_lines (f, value, oldval) | |||
| 1726 | else | 1726 | else |
| 1727 | nlines = 0; | 1727 | nlines = 0; |
| 1728 | 1728 | ||
| 1729 | /* Make sure we redisplay all windows in this frame. */ | ||
| 1730 | windows_or_buffers_changed++; | ||
| 1731 | |||
| 1729 | #ifdef USE_X_TOOLKIT | 1732 | #ifdef USE_X_TOOLKIT |
| 1730 | FRAME_MENU_BAR_LINES (f) = 0; | 1733 | FRAME_MENU_BAR_LINES (f) = 0; |
| 1731 | if (nlines) | 1734 | if (nlines) |