/* Cleanup that deletes a UI. */
extern struct cleanup *make_delete_ui_cleanup (struct ui *ui);
-/* Cleanup that restores the current UI. */
-extern void restore_ui_cleanup (void *data);
+/* Make a cleanup that restores the current UI. */
+extern struct cleanup *make_cleanup_restore_current_ui (void);
/* Register the UI's input file descriptor in the event loop. */
extern void ui_register_input_event_handler (struct ui *ui);
extern void init_history (void);
extern void command_loop (void);
extern int quit_confirm (void);
-extern void quit_force (char *, int);
+extern void quit_force (int *, int);
extern void quit_command (char *, int);
extern void quit_cover (void);
extern void execute_command (char *, int);