Searched refs:new_real_height (Results 1 – 1 of 1) sorted by relevance
3170 int new_real_width, new_real_height; local3195 new_real_height = new_text_height * W_Textheight + MENU_PAD * 2;3197 if (new_real_height != wa.height || new_real_width != wa.width)3199 XResizeWindow(W_Display, win->window, new_real_width, new_real_height);