GtkWidget* run_application (void);