Searched refs:get_menu_tool_height (Results 1 – 1 of 1) sorted by relevance
2848 get_menu_tool_height(void) in get_menu_tool_height() function2906 height += get_menu_tool_height(); in update_window_manager_hints()4126 *screen_h -= get_menu_tool_height(); in gui_gtk_get_screen_dimensions()4225 pixel_height += get_menu_tool_height(); in gui_mch_open()4236 hh += p_ghr + get_menu_tool_height(); in gui_mch_open()4428 height -= get_menu_tool_height();4472 h -= get_menu_tool_height(); in gui_mch_newfont()4496 height += get_menu_tool_height(); in gui_mch_set_shellsize()