From a4406fe5a25558f6645b76eb6410f94057fb1d30 Mon Sep 17 00:00:00 2001
From: Josh Holtrop <jholtrop+git@gmail.com>
Date: Sat, 19 Mar 2011 18:14:53 -0400
Subject: [PATCH] implemented Exit button

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

diff --git a/Window.py b/Window.py
index d12f640..8c59618 100644
--- a/Window.py
+++ b/Window.py
@@ -41,6 +41,7 @@ class Window:
         in_button = gtk.Button('In')
         out_button = gtk.Button('Out')
         exit_button = gtk.Button('Exit')
+        exit_button.connect("clicked", self.destroy_event)
 
         hbox = gtk.HBox()
         hbox.pack_start(self.mark_label, expand = True, fill = False)
@@ -349,6 +350,7 @@ class Window:
         return False
 
     def destroy_event(self, widget, data=None):
+        # could be called by window or exit button
         gtk.main_quit()
 
     def window_key_press_event(self, widget, event, data=None):