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