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