E5Gui/E5SideBar.py

changeset 1396
f5d4c309fe8a
parent 1368
4489ee4feb59
child 1411
f170cd6440d2
equal deleted inserted replaced
1394:3d05a62a25f6 1396:f5d4c309fe8a
57 self.layout.addLayout(self.barLayout) 57 self.layout.addLayout(self.barLayout)
58 self.layout.addWidget(self.__stackedWidget) 58 self.layout.addWidget(self.__stackedWidget)
59 self.setLayout(self.layout) 59 self.setLayout(self.layout)
60 60
61 self.__minimized = False 61 self.__minimized = False
62 self.__minimum = 50
62 self.__minSize = 0 63 self.__minSize = 0
63 self.__maxSize = 0 64 self.__maxSize = 0
64 self.__bigSize = QSize() 65 self.__bigSize = QSize()
65 66
66 self.splitter = None 67 self.splitter = None
107 Public method to shrink the sidebar. 108 Public method to shrink the sidebar.
108 """ 109 """
109 self.__minimized = True 110 self.__minimized = True
110 self.__bigSize = self.size() 111 self.__bigSize = self.size()
111 if self.__orientation in [E5SideBar.North, E5SideBar.South]: 112 if self.__orientation in [E5SideBar.North, E5SideBar.South]:
112 self.__minSize = self.minimumHeight() 113 self.__minSize = max(self.minimumHeight(), self.__minimum)
113 self.__maxSize = self.maximumHeight() 114 self.__maxSize = self.maximumHeight()
114 else: 115 else:
115 self.__minSize = self.minimumWidth() 116 self.__minSize = max(self.minimumWidth(), self.__minimum)
116 self.__maxSize = self.maximumWidth() 117 self.__maxSize = self.maximumWidth()
117 if self.splitter: 118 if self.splitter:
118 self.splitterSizes = self.splitter.sizes() 119 self.splitterSizes = self.splitter.sizes()
119 120
120 self.__stackedWidget.hide() 121 self.__stackedWidget.hide()
130 """ 131 """
131 self.__minimized = False 132 self.__minimized = False
132 self.__stackedWidget.show() 133 self.__stackedWidget.show()
133 self.resize(self.__bigSize) 134 self.resize(self.__bigSize)
134 if self.__orientation in [E5SideBar.North, E5SideBar.South]: 135 if self.__orientation in [E5SideBar.North, E5SideBar.South]:
135 self.setMinimumHeight(self.__minSize) 136 self.setMinimumHeight(max(self.__minSize, self.__minimum))
136 self.setMaximumHeight(self.__maxSize) 137 self.setMaximumHeight(self.__maxSize)
137 else: 138 else:
138 self.setMinimumWidth(self.__minSize) 139 self.setMinimumWidth(max(self.__minSize, self.__minimum))
139 self.setMaximumWidth(self.__maxSize) 140 self.setMaximumWidth(self.__maxSize)
140 if self.splitter: 141 if self.splitter:
141 self.splitter.setSizes(self.splitterSizes) 142 self.splitter.setSizes(self.splitterSizes)
142 143
143 def isMinimized(self): 144 def isMinimized(self):

eric ide

mercurial