From 6c09225b4431c8c36f6599542f68e26149de1eeb Mon Sep 17 00:00:00 2001
From: Josh Holtrop <jholtrop+git@gmail.com>
Date: Tue, 22 Mar 2011 13:15:31 -0400
Subject: [PATCH] quit GTK when window is closed

---
 Window.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Window.py b/Window.py
index a6ff473..b7821f4 100644
--- a/Window.py
+++ b/Window.py
@@ -4,8 +4,12 @@ import gtk
 class Window:
     def __init__(self):
         self.window = gtk.Window(gtk.WINDOW_TOPLEVEL)
+        self.window.connect("destroy", self.destroy_event)
         self.window.add(gtk.Label('Hello World'))
         self.window.show_all()
 
     def main(self):
         gtk.main()
+
+    def destroy_event(self, widget, data=None):
+        gtk.main_quit()