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