E5Gui/E5SideBar.py

branch
5_0_x
changeset 820
3336024d064a
parent 792
a13346916170
equal deleted inserted replaced
810:09ab11885d37 820:3336024d064a
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 """

eric ide

mercurial