Searched refs:gui_shutdown (Results 1 – 12 of 12) sorted by relevance
35 void gui_shutdown();
256 gui_shutdown(); in main_event_cb()
914 void gui_shutdown() in gui_shutdown() function
90 void gui_shutdown(GtkObject *, gpointer);
253 gui_shutdown(GtkObject * object __attribute__((unused)), in gui_shutdown() function
150 gtk_signal_connect(GTK_OBJECT(main_window), "destroy", GTK_SIGNAL_FUNC(gui_shutdown), in create_main_window()
63 gui_shutdown(); in shutdown()
38 void gui_shutdown( void );
8687 void gui_shutdown( void ) in gui_shutdown() function
83 gui_shutdown(); in hively_shutdown()
2424 static void gui_shutdown (void) in gui_shutdown() function
32570 * app/gui/gui.[ch]: Replaced public functions gui_shutdown() and