diff -r 3d05a62a25f6 -r f5d4c309fe8a E5Gui/E5SideBar.py
--- a/E5Gui/E5SideBar.py Sun Oct 23 18:29:52 2011 +0200
+++ b/E5Gui/E5SideBar.py Mon Oct 24 19:12:23 2011 +0200
@@ -59,6 +59,7 @@
self.setLayout(self.layout)
self.__minimized = False
+ self.__minimum = 50
self.__minSize = 0
self.__maxSize = 0
self.__bigSize = QSize()
@@ -109,10 +110,10 @@
self.__minimized = True
self.__bigSize = self.size()
if self.__orientation in [E5SideBar.North, E5SideBar.South]:
- self.__minSize = self.minimumHeight()
+ self.__minSize = max(self.minimumHeight(), self.__minimum)
self.__maxSize = self.maximumHeight()
else:
- self.__minSize = self.minimumWidth()
+ self.__minSize = max(self.minimumWidth(), self.__minimum)
self.__maxSize = self.maximumWidth()
if self.splitter:
self.splitterSizes = self.splitter.sizes()
@@ -132,10 +133,10 @@
self.__stackedWidget.show()
self.resize(self.__bigSize)
if self.__orientation in [E5SideBar.North, E5SideBar.South]:
- self.setMinimumHeight(self.__minSize)
+ self.setMinimumHeight(max(self.__minSize, self.__minimum))
self.setMaximumHeight(self.__maxSize)
else:
- self.setMinimumWidth(self.__minSize)
+ self.setMinimumWidth(max(self.__minSize, self.__minimum))
self.setMaximumWidth(self.__maxSize)
if self.splitter:
self.splitter.setSizes(self.splitterSizes)
