E5Gui/E5ZoomWidget.py

changeset 2953
703452a2876f
parent 2334
fc69ad77e18a
child 2990
583beaf0b4b8
equal deleted inserted replaced
2952:94fc661a54a2 2953:703452a2876f
52 52
53 @pyqtSlot(int) 53 @pyqtSlot(int)
54 def on_slider_sliderMoved(self, value): 54 def on_slider_sliderMoved(self, value):
55 """ 55 """
56 Public slot to handle changes of the zoom value. 56 Public slot to handle changes of the zoom value.
57
58 @param value value of the slider (integer)
57 """ 59 """
58 if self.__mapped: 60 if self.__mapped:
59 self.valueChanged.emit(self.__mapping[value]) 61 self.valueChanged.emit(self.__mapping[value])
60 else: 62 else:
61 self.valueChanged.emit(value) 63 self.valueChanged.emit(value)
102 104
103 def setMaximum(self, maximum): 105 def setMaximum(self, maximum):
104 """ 106 """
105 Public method to set the maximum value. 107 Public method to set the maximum value.
106 108
107 @param minimum new maximum value (integer) 109 @param maximum new maximum value (integer)
108 """ 110 """
109 if not self.__mapped: 111 if not self.__mapped:
110 self.slider.setMaximum(maximum) 112 self.slider.setMaximum(maximum)
111 self.__setValueLabelWidth() 113 self.__setValueLabelWidth()
112 114

eric ide

mercurial