diff --git a/mitterlib/ui/ui_pygtk.py b/mitterlib/ui/ui_pygtk.py index 6db06cc..9c92614 100644 --- a/mitterlib/ui/ui_pygtk.py +++ b/mitterlib/ui/ui_pygtk.py @@ -154,7 +154,7 @@ class Interface(object): box.show() # now that all elements are created, connect the signals - main_window.connect('destroy', self._quit_app) + # main_window.connect('destroy', self._quit_app) main_window.connect('delete-event', self._quit_app) main_window.connect('size-request', self._window_resize)