From 26d130571799e155584918bfbd4ffb8537782713 Mon Sep 17 00:00:00 2001
From: Robin Haberkorn <robin.haberkorn@googlemail.com>
Date: Mon, 7 May 2012 04:25:43 +0200
Subject: fixed application exit

---
 src/default.ui | 2 ++
 src/main.c     | 7 +++++++
 2 files changed, 9 insertions(+)

(limited to 'src')

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>
diff --git a/src/main.c b/src/main.c
index 129098b..f405d33 100644
--- a/src/main.c
+++ b/src/main.c
@@ -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[])
 {
-- 
cgit v1.2.3