diff options
| -rw-r--r-- | src/default.ui | 2 | ||||
| -rw-r--r-- | src/main.c | 7 |
2 files changed, 9 insertions, 0 deletions
diff --git a/src/default.ui b/src/default.ui index 932b0c9..d8bfe8e 100644 --- a/src/default.ui +++ b/src/default.ui @@ -7,6 +7,7 @@ <property name="title" translatable="yes">Experiment Player</property> <property name="default_width">400</property> <property name="default_height">300</property> + <signal name="destroy" handler="generic_quit_cb"/> <child> <object class="GtkVBox" id="player_window_vbox"> <property name="visible">True</property> @@ -52,6 +53,7 @@ <property name="visible">True</property> <property name="use_underline">True</property> <property name="use_stock">True</property> + <signal name="activate" handler="generic_quit_cb"/> </object> </child> </object> @@ -78,6 +78,13 @@ quickopen_menu_choosedir_item_activate_cb(GtkWidget *widget, gpointer data) /* TODO */ } +void +generic_quit_cb(GtkWidget *widget __attribute__((unused)), + gpointer data __attribute__((unused))) +{ + gtk_main_quit(); +} + int main(int argc, char *argv[]) { |