diff options
| author | Stefano Facchini <[email protected]> | 2013-08-26 18:34:35 +0200 |
|---|---|---|
| committer | Alexei Sorokin <[email protected]> | 2016-08-23 00:55:57 +0300 |
| commit | b492111a8e920d390540055023e5e5b00dcaf95e (patch) | |
| tree | 52e4b51b7a191e317f449085e0f0add253818b1e | |
| parent | c31073e481f5d5b41bf836be413bf04f2f20221b (diff) | |
| download | mozo-b492111a8e920d390540055023e5e5b00dcaf95e.tar.bz2 mozo-b492111a8e920d390540055023e5e5b00dcaf95e.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 bf6affa..63231df 100644 --- a/Mozo/MainWindow.py +++ b/Mozo/MainWindow.py @@ -299,6 +299,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 a01bf4e..d441dbb 100644 --- a/data/mozo.ui +++ b/data/mozo.ui @@ -50,6 +50,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"> |