Searched refs:saved_top_level (Results 1 – 1 of 1) sorted by relevance
1705 struct ui *saved_top_level = current_ui; in undo_terminal_modifications_before_exit() local1716 current_ui = saved_top_level; in undo_terminal_modifications_before_exit()