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