Searched refs:shell_created (Results 1 – 4 of 4) sorted by relevance
248 int shell_created; // Has the shell been created yet? member
397 gui.shell_created = FALSE; in gui_init_check()716 gui.shell_created = TRUE; in gui_init()1541 if (!gui.shell_created) // ignore when still initializing in gui_resize_shell()1664 if (!gui.shell_created) in gui_set_shellsize()
1149 if (gui.shell_created) in gui_mch_compute_menu_height()
842 else if (!gui.shell_created) in highlight_set_font()