1 #ifndef _INCLUDE_GTK_MAIN_H 2 #define _INCLUDE_GTK_MAIN_H 3 4 #ifndef S_SPLINT_S 5 /* Gtk headers return splint errors */ 6 #include <gtk/gtk.h> 7 8 extern GtkWidget* fileselector_window; 9 extern GtkWidget* fileselector_cd_path; 10 extern GtkWidget* fileselector_cd_system; 11 extern GtkWidget* fileselector_rom_path; 12 13 extern GtkWidget* input_settings_window; 14 extern GtkWidget* general_settings_window; 15 extern GtkWidget* main_window; 16 extern GtkWidget* about_window; 17 extern GtkWidget* manual_window; 18 19 #endif 20 21 22 void set_gui_configuration_index(int new_index); 23 void build_gtk_interface (int argc, char* argv[]); 24 int get_gui_configuration_index(); 25 26 #endif 27