Searched refs:total_width (Results 1 – 2 of 2) sorted by relevance
3782 int total_width; in update_popups() local3862 total_width = popup_width(wp); in update_popups()3911 if (title_len > total_width - 2) in update_popups()3919 total_width - 2, title_byte_len + 1); in update_popups()3926 title_len = total_width - 2; in update_popups()3946 title_wincol + title_len, wincol + total_width, in update_popups()3952 wincol < 0 ? 0 : wincol, wincol + total_width, in update_popups()3961 wincol + total_width - 1, border_attr[1]); in update_popups()4063 int scroll_col = wp->w_wincol + total_width - 1 in update_popups()4103 wincol + total_width, in update_popups()[all …]
1394 gui_position_components(int total_width UNUSED) in gui_position_components()1410 gui.menu_width = total_width; in gui_position_components()