Searched refs:get_menu_tool_width (Results 1 – 1 of 1) sorted by relevance
2827 get_menu_tool_width(void) in get_menu_tool_width() function2905 width += get_menu_tool_width(); in update_window_manager_hints()4125 *screen_w -= get_menu_tool_width(); in gui_gtk_get_screen_dimensions()4224 pixel_width += get_menu_tool_width(); in gui_mch_open()4237 ww += get_menu_tool_width(); in gui_mch_open()4427 width -= get_menu_tool_width();4471 w -= get_menu_tool_width(); in gui_mch_newfont()4495 width += get_menu_tool_width(); in gui_mch_set_shellsize()