Lines Matching refs:base_height
1494 int base_height; in gui_get_base_height() local
1496 base_height = 2 * gui.border_offset; in gui_get_base_height()
1498 base_height += gui.scrollbar_height; in gui_get_base_height()
1506 base_height += gui.menu_height; in gui_get_base_height()
1511 base_height += (TOOLBAR_BUTTON_HEIGHT + TOOLBAR_BORDER_HEIGHT); in gui_get_base_height()
1513 base_height += gui.toolbar_height; in gui_get_base_height()
1519 base_height += gui.tabline_height; in gui_get_base_height()
1523 base_height += gui.footer_height; in gui_get_base_height()
1526 base_height += gui_mch_text_area_extra_height(); in gui_get_base_height()
1529 return base_height; in gui_get_base_height()
1651 int base_height; in gui_set_shellsize() local
1679 base_height = gui_get_base_height(); in gui_set_shellsize()
1685 height = Rows * gui.char_height + base_height; in gui_set_shellsize()
1702 Rows = (screen_h - base_height) / gui.char_height; in gui_set_shellsize()
1704 height = Rows * gui.char_height + base_height; in gui_set_shellsize()
1721 min_height = base_height + MIN_LINES * gui.char_height; in gui_set_shellsize()
1738 base_width, base_height, direction); in gui_set_shellsize()