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