demo_menu.py
changeset 77 fc1989059e19
parent 64 03f591f5fe5c
--- a/demo_menu.py	Sat Feb 02 12:54:27 2013 +0100
+++ b/demo_menu.py	Sun Feb 03 16:38:41 2013 +0100
@@ -11,6 +11,7 @@
     def __init__(self):
         Application.__init__(self)
         self.top.add_handler('keypress', self.on_top_keypress, last=True)
+        self.top.add_handler('quit', lambda ev: self.terminate())
 
         helpwin = Window()
         helpwin.title = 'About'