diff options
author | Walter Bender <walter.bender@gmail.com> | 2012-04-19 21:12:10 (GMT) |
---|---|---|
committer | Walter Bender <walter.bender@gmail.com> | 2012-04-19 21:12:10 (GMT) |
commit | ca492031ea78a78ff46535575e98ecb0f7666542 (patch) | |
tree | 58d8a1b0f6d6d5dd354052325a203e9ce178b41a /turtleart.py | |
parent | 4dfcb24c62d03fdfe3ddcf78a26019763992d57d (diff) |
close plugins on quit (patch from ajas)
Diffstat (limited to 'turtleart.py')
-rwxr-xr-x | turtleart.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/turtleart.py b/turtleart.py index 5fe67a1..44f5951 100755 --- a/turtleart.py +++ b/turtleart.py @@ -392,7 +392,7 @@ class TurtleMain(): else: if self.tw.project_has_changed(): self._show_save_dialog(False) - gtk.main_quit() + self.destroy(None) def _show_save_dialog(self, new_project=True): ''' Dialog for save project ''' @@ -589,7 +589,11 @@ class TurtleMain(): def destroy(self, event, data=None): ''' Callback for destroy event. ''' + for plugin in self.tw._plugins: + if hasattr(plugin, 'quit'): + plugin.quit() gtk.main_quit() + exit() def nick_changed(self, nick): ''' TODO: Rename default turtle in dictionary ''' |