E5Gui/E5SideBar.py

changeset 818
476d99fd8981
parent 791
9ec2ac20e54e
child 945
8cd4d08fa9f6
child 1371
3e5248c82ff2
equal deleted inserted replaced
817:84b3d694c142 818:476d99fd8981
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 """

eric ide

mercurial