struct frame *f = get_frame ();
change_frame_size (f, event->dwSize.X, event->dwSize.Y
- - FRAME_MENU_BAR_LINES (f), 0, 1, 0, 0);
+ - FRAME_MENU_BAR_LINES (f)
+ - FRAME_TAB_BAR_LINES (f), 0, 1, 0, 0);
SET_FRAME_GARBAGED (f);
}
change_frame_size (f,
1 + info.srWindow.Right - info.srWindow.Left,
1 + info.srWindow.Bottom - info.srWindow.Top
- - FRAME_MENU_BAR_LINES (f), 0, 1, 0, 0);
+ - FRAME_MENU_BAR_LINES (f)
+ - FRAME_TAB_BAR_LINES (f), 0, 1, 0, 0);
}
#if HAVE_W32NOTIFY