/* * DO NOT EDIT THIS FILE - it is generated by Glade. */ GtkWidget* create_GHC_Front_Panel (void);