diff options
| author | Stefano Facchini <[email protected]> | 2013-08-26 18:34:35 +0200 |
|---|---|---|
| committer | Alexei Sorokin <[email protected]> | 2016-08-23 18:01:16 +0300 |
| commit | 1b5584aab80264db3540ccf00242a4c301fa2323 (patch) | |
| tree | 5e4a0fea5d374853599c8ae5591ba97ac8248000 | |
| parent | 5f116eb7aac88f1c308c12e57bfcc203ab44f309 (diff) | |
| download | mozo-1b5584aab80264db3540ccf00242a4c301fa2323.tar.bz2 mozo-1b5584aab80264db3540ccf00242a4c301fa2323.tar.xz | |
quit on delete event
https://bugzilla.gnome.org/show_bug.cgi?id=706821
| -rw-r--r-- | Mozo/MainWindow.py | 3 | ||||
| -rw-r--r-- | data/mozo.ui | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/Mozo/MainWindow.py b/Mozo/MainWindow.py index 279ffdf..25c9c26 100644 --- a/Mozo/MainWindow.py +++ b/Mozo/MainWindow.py @@ -297,6 +297,9 @@ class MainWindow: return False return True + def on_delete_event(self, widget, event): + self.quit() + def on_new_menu_button_clicked(self, button): menu_tree = self.tree.get_object('menu_tree') menus, iter = menu_tree.get_selection().get_selected() diff --git a/data/mozo.ui b/data/mozo.ui index c9e1e30..0abd1c0 100644 --- a/data/mozo.ui +++ b/data/mozo.ui @@ -51,6 +51,7 @@ <property name="window_position">center</property> <property name="type_hint">normal</property> <signal name="close" handler="on_close_button_clicked" swapped="no"/> + <signal name="delete-event" handler="on_delete_event" swapped="no"/> <signal name="destroy" handler="on_close_button_clicked" swapped="no"/> <signal name="style-updated" handler="on_style_updated" swapped="no"/> <child internal-child="vbox"> |