Searched refs:redraw_gui_only (Results 1 – 1 of 1) sorted by relevance
663 int redraw_gui_only = FALSE; in did_set_string_option() local1541 redraw_gui_only = TRUE; in did_set_string_option()1550 redraw_gui_only = TRUE; in did_set_string_option()1559 redraw_gui_only = TRUE; in did_set_string_option()1566 redraw_gui_only = TRUE; in did_set_string_option()1628 redraw_gui_only = TRUE; in did_set_string_option()1637 redraw_gui_only = TRUE; in did_set_string_option()1642 redraw_gui_only = TRUE; in did_set_string_option()2505 if (!redraw_gui_only || gui.in_use) in did_set_string_option()