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 |