gui_top_window.h Source File

00001 
00005 #ifndef __GUI_TOP_WINDOW_H
00006 #define __GUI_TOP_WINDOW_H
00007 
00008 #include <gtk/gtk.h>
00009 
00010 extern GtkNotebook *notebook;
00011 
00012 GtkWidget *top_window_new ();
00013 #endif /* __GUI_TOP_WINDOW_H */