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'