E5Gui/E5SideBar.py

branch
5_1_x
changeset 1397
acc61b0fb135
parent 1371
3e5248c82ff2
child 1412
c733a118f4ca
equal deleted inserted replaced
1395:1eb21f914629 1397:acc61b0fb135
56 self.layout.addLayout(self.barLayout) 56 self.layout.addLayout(self.barLayout)
57 self.layout.addWidget(self.__stackedWidget) 57 self.layout.addWidget(self.__stackedWidget)
58 self.setLayout(self.layout) 58 self.setLayout(self.layout)
59 59
60 self.__minimized = False 60 self.__minimized = False
61 self.__minimum = 50
61 self.__minSize = 0 62 self.__minSize = 0
62 self.__maxSize = 0 63 self.__maxSize = 0
63 self.__bigSize = QSize() 64 self.__bigSize = QSize()
64 65
65 self.splitter = None 66 self.splitter = None
106 Public method to shrink the sidebar. 107 Public method to shrink the sidebar.
107 """ 108 """
108 self.__minimized = True 109 self.__minimized = True
109 self.__bigSize = self.size() 110 self.__bigSize = self.size()
110 if self.__orientation in [E5SideBar.North, E5SideBar.South]: 111 if self.__orientation in [E5SideBar.North, E5SideBar.South]:
111 self.__minSize = self.minimumHeight() 112 self.__minSize = max(self.minimumHeight(), self.__minimum)
112 self.__maxSize = self.maximumHeight() 113 self.__maxSize = self.maximumHeight()
113 else: 114 else:
114 self.__minSize = self.minimumWidth() 115 self.__minSize = max(self.minimumWidth(), self.__minimum)
115 self.__maxSize = self.maximumWidth() 116 self.__maxSize = self.maximumWidth()
116 if self.splitter: 117 if self.splitter:
117 self.splitterSizes = self.splitter.sizes() 118 self.splitterSizes = self.splitter.sizes()
118 119
119 self.__stackedWidget.hide() 120 self.__stackedWidget.hide()
129 """ 130 """
130 self.__minimized = False 131 self.__minimized = False
131 self.__stackedWidget.show() 132 self.__stackedWidget.show()
132 self.resize(self.__bigSize) 133 self.resize(self.__bigSize)
133 if self.__orientation in [E5SideBar.North, E5SideBar.South]: 134 if self.__orientation in [E5SideBar.North, E5SideBar.South]:
134 self.setMinimumHeight(self.__minSize) 135 self.setMinimumHeight(max(self.__minSize, self.__minimum))
135 self.setMaximumHeight(self.__maxSize) 136 self.setMaximumHeight(self.__maxSize)
136 else: 137 else:
137 self.setMinimumWidth(self.__minSize) 138 self.setMinimumWidth(max(self.__minSize, self.__minimum))
138 self.setMaximumWidth(self.__maxSize) 139 self.setMaximumWidth(self.__maxSize)
139 if self.splitter: 140 if self.splitter:
140 self.splitter.setSizes(self.splitterSizes) 141 self.splitter.setSizes(self.splitterSizes)
141 142
142 def isMinimized(self): 143 def isMinimized(self):

eric ide

mercurial