1 #ifndef _INCLUDE_GTK_MAIN_SERVER_H 2 #define _INCLUDE_GTK_MAIN_SERVER_H 3 4 #ifndef S_SPLINT_S 5 /* Gtk headers return splint errors */ 6 #include <gtk/gtk.h> 7 8 extern GtkWidget* window_main; 9 extern GtkWidget* window_help; 10 extern gboolean gtk_stop_asked; 11 12 #endif 13 14 void build_gtk_interface (int argc, char* argv[]); 15 16 #endif 17