/*
 * DO NOT EDIT THIS FILE - it is generated by Glade.
 */

GtkWidget* create_MainWindow (void);
GtkWidget* create_nav_window (void);
GtkWidget* create_fileselection1 (void);
GtkWidget* create_config_window (void);
GtkWidget* create_help_popup (void);