From 2b690763d2dacf3ca38cce0caf9423668ae13b8c Mon Sep 17 00:00:00 2001
From: Josh Holtrop <jholtrop+git@gmail.com>
Date: Sun, 24 Apr 2011 11:44:07 -0400
Subject: [PATCH] pressing Escape quits the program for now

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

diff --git a/Window.py b/Window.py
index 2ca18e7..6b9b8e6 100644
--- a/Window.py
+++ b/Window.py
@@ -13,6 +13,7 @@ class Window:
         self.window.set_size_request(600, 500)
         self.window.set_title(title)
         self.window.connect("destroy", self.destroy_event)
+        self.window.connect("key-press-event", self.key_press_event)
 
         s = Sketch()
         l1 = Line(0, 1, 1, 1)
@@ -61,3 +62,8 @@ class Window:
 
     def destroy_event(self, widget, data=None):
         gtk.main_quit()
+
+    def key_press_event(self, widget, event, data=None):
+        if event.keyval == gtk.gdk.keyval_from_name("Escape"):
+            gtk.main_quit()
+        return False