From ca492031ea78a78ff46535575e98ecb0f7666542 Mon Sep 17 00:00:00 2001
From: Walter Bender <walter.bender@gmail.com>
Date: Thu, 19 Apr 2012 21:12:10 +0000
Subject: close plugins on quit (patch from ajas)

---
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 '''
--
cgit v0.9.1