UI/UserInterface.py

branch
5_2_x
changeset 2116
5edbd90cf9e6
parent 1756
0523aa6d32cf
child 2151
7d38a32bf535
--- a/UI/UserInterface.py	Sat Oct 06 18:49:58 2012 +0200
+++ b/UI/UserInterface.py	Sat Oct 06 19:07:04 2012 +0200
@@ -5547,6 +5547,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