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]) |