UI/UserInterface.py

changeset 2114
c07f0cb40b18
parent 2101
5bac7dee9e1a
child 2137
5a9bdcb8c934
--- a/UI/UserInterface.py	Sat Oct 06 18:49:58 2012 +0200
+++ b/UI/UserInterface.py	Sat Oct 06 19:07:04 2012 +0200
@@ -5215,6 +5215,10 @@
         
         self.pluginManager.doShutdown()
         
+        if self.layout == "Sidebars":
+            self.leftSidebar.shutdown()
+            self.bottomSidebar.shutdown()
+        
         if self.SAServer is not None:
             self.SAServer.shutdown()
             self.SAServer = None

eric ide

mercurial