E5Gui/E5SideBar.py

changeset 3975
12e8acffb2c8
parent 3778
0c5bc18da740
child 4021
195a471c327b
--- a/E5Gui/E5SideBar.py	Fri Dec 19 13:15:39 2014 +0100
+++ b/E5Gui/E5SideBar.py	Fri Dec 19 14:53:51 2014 +0100
@@ -608,7 +608,7 @@
         stream.readUInt16()  # version
         minimized = stream.readBool()
         
-        if minimized:
+        if minimized and not self.__minimized:
             self.shrink()
         
         stream >> self.__bigSize

eric ide

mercurial