diff options
| author | Martin Rudalics | 2017-05-01 12:24:56 +0200 |
|---|---|---|
| committer | Martin Rudalics | 2017-05-01 12:24:56 +0200 |
| commit | 6c9ec085e2b36e801c967bc0635671dc1880cb80 (patch) | |
| tree | eb8e41c248faa2ba24f397715a9edd7846ea7534 /src/w32term.c | |
| parent | ebff4177e2a0226aa1e65181307acfdadfbded3b (diff) | |
| download | emacs-6c9ec085e2b36e801c967bc0635671dc1880cb80.tar.gz emacs-6c9ec085e2b36e801c967bc0635671dc1880cb80.zip | |
Rewrite w32fns.c's `x_set_menu_bar_lines'
* src/w32fns.c (x_set_menu_bar_lines): Redraw frame immediately
regardless of whether menu bar is added or removed. Clear
under internal border iff a W32 window exists. Store either 0
or 1 as new parameter value.
(x_change_tool_bar_height): Use FRAME_W32_WINDOW instead of
FRAME_X_WINDOW.
Diffstat (limited to 'src/w32term.c')
| -rw-r--r-- | src/w32term.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/w32term.c b/src/w32term.c index b3608accb34..a2537e204d8 100644 --- a/src/w32term.c +++ b/src/w32term.c | |||
| @@ -6272,10 +6272,7 @@ x_set_window_size (struct frame *f, bool change_gravity, | |||
| 6272 | 6272 | ||
| 6273 | /* Get the height of the menu bar here. It's used below to detect | 6273 | /* Get the height of the menu bar here. It's used below to detect |
| 6274 | whether the menu bar is wrapped. It's also used to specify the | 6274 | whether the menu bar is wrapped. It's also used to specify the |
| 6275 | third argument for AdjustWindowRect. FRAME_EXTERNAL_MENU_BAR which | 6275 | third argument for AdjustWindowRect. See bug#22105. */ |
| 6276 | has been used before for that reason is unreliable because it only | ||
| 6277 | specifies whether we _want_ a menu bar for this frame and not | ||
| 6278 | whether this frame _has_ a menu bar. See bug#22105. */ | ||
| 6279 | info.cbSize = sizeof (info); | 6276 | info.cbSize = sizeof (info); |
| 6280 | info.rcBar.top = info.rcBar.bottom = 0; | 6277 | info.rcBar.top = info.rcBar.bottom = 0; |
| 6281 | GetMenuBarInfo (FRAME_W32_WINDOW (f), 0xFFFFFFFD, 0, &info); | 6278 | GetMenuBarInfo (FRAME_W32_WINDOW (f), 0xFFFFFFFD, 0, &info); |