quit_when_window_closed
authortimo <timo@wakelift.de>
Fri, 9 Aug 2013 21:55:37 +0000 (21:55 +0000)
committertimo <timo@wakelift.de>
Fri, 9 Aug 2013 21:55:37 +0000 (21:55 +0000)
sm.py

diff --git a/sm.py b/sm.py
index 2a1b6a9..a988eed 100644 (file)
--- a/sm.py
+++ b/sm.py
@@ -83,6 +83,8 @@ key, mod = gtk.accelerator_parse("Escape")
 accel.connect_group(key, mod, 0, (lambda x,y,z,v: tb.set_text("")))
 window.add_accel_group(accel)
 
+window.connect("destroy", gtk.main_quit)
+
 window.show_all()
 
 need_resize=True