Searched refs:save_ui (Results 1 – 4 of 4) sorted by relevance
213 scoped_restore save_ui = make_scoped_restore (¤t_ui); in new_ui_command() local
657 scoped_restore save_ui = make_scoped_restore (¤t_ui, waiting_ui); in should_stop() local
411 scoped_restore save_ui = make_scoped_restore (¤t_ui); in wait_sync_command_done() local
4592 scoped_restore save_ui = make_scoped_restore (¤t_ui, main_ui); in fetch_inferior_event() local