84 Public method to set the splitter managing the sidebar. |
84 Public method to set the splitter managing the sidebar. |
85 |
85 |
86 @param splitter reference to the splitter (QSplitter) |
86 @param splitter reference to the splitter (QSplitter) |
87 """ |
87 """ |
88 self.splitter = splitter |
88 self.splitter = splitter |
|
89 self.splitter.splitterMoved.connect(self.__splitterMoved) |
|
90 |
|
91 def __splitterMoved(self, pos, index): |
|
92 """ |
|
93 Private slot to react on splitter moves. |
|
94 |
|
95 @param pos new position of the splitter handle (integer) |
|
96 @param index index of the splitter handle (integer) |
|
97 """ |
|
98 if self.splitter: |
|
99 self.splitterSizes = self.splitter.sizes() |
89 |
100 |
90 def shrink(self): |
101 def shrink(self): |
91 """ |
102 """ |
92 Public method to shrink the sidebar. |
103 Public method to shrink the sidebar. |
93 """ |
104 """ |