Searched refs:old_char_height (Results 1 – 1 of 1) sorted by relevance
2881 static int old_char_height = 0; in update_window_manager_hints() local2930 || gui.char_height != old_char_height) in update_window_manager_hints()2953 old_char_height = gui.char_height; in update_window_manager_hints()