E5Gui/E5ZoomWidget.py

changeset 3591
2f2a4a76dd22
parent 3178
f25fc1364c88
child 3656
441956d8fce5
equal deleted inserted replaced
3590:5280e37405b8 3591:2f2a4a76dd22
53 self.__setValueLabelWidth() 53 self.__setValueLabelWidth()
54 54
55 @pyqtSlot(int) 55 @pyqtSlot(int)
56 def on_slider_sliderMoved(self, value): 56 def on_slider_sliderMoved(self, value):
57 """ 57 """
58 Public slot to handle changes of the zoom value. 58 Private slot to handle changes of the zoom value.
59 59
60 @param value value of the slider (integer) 60 @param value value of the slider (integer)
61 """ 61 """
62 if self.__mapped: 62 if self.__mapped:
63 self.valueChanged.emit(self.__mapping[value]) 63 self.valueChanged.emit(self.__mapping[value])

eric ide

mercurial