eric: comparison src/eric7/EricWidgets/EricZoomWidget.py

-:e9e7eca7efee
+:bf71ee032bb4
 class EricZoomWidget(QWidget, Ui_EricZoomWidget):
 """
 Class implementing a zoom widget for the status bar.
 @signal valueChanged(value) emitted to indicate the new zoom value (int)
 """
 valueChanged = pyqtSignal(int)
 def __init__(self, outPix, inPix, resetPix, parent=None):
 """
 Constructor
 @param outPix pixmap for the zoom out button (QPixmap)
 @param inPix pixmap for the zoom in button (QPixmap)
 @param resetPix pixmap for the zoom reset button (QPixmap)
 @param parent reference to the parent widget (QWidget)
 """
 super().__init__(parent)
 self.setupUi(self)
 self.zoomOutLabel.setPixmap(outPix.scaled(16, 16))
 self.zoomInLabel.setPixmap(inPix.scaled(16, 16))
 self.zoomResetLabel.setPixmap(resetPix.scaled(16, 16))
 self.zoomOutLabel.clicked.connect(self.__zoomOut)
 self.zoomInLabel.clicked.connect(self.__zoomIn)
 self.zoomResetLabel.clicked.connect(self.__zoomReset)
 self.slider.valueChanged.connect(self._sliderValueChanged)
 self.__default = 0
 self.__percent = False
 # mapped slider
 self.__mapped = False
 self.__mapping = []
 self.__setValueLabelWidth()
 @pyqtSlot(int)
 def on_slider_sliderMoved(self, value):
 """
 Private slot to handle changes of the zoom value.
 @param value value of the slider (integer)
 """
 if self.__mapped:
 self.valueChanged.emit(self.__mapping[value])
 else:
 self.valueChanged.emit(value)
 def setValue(self, value):
 """
 Public slot to set the value.
 @param value new zoom value (integer)
 """
 self.slider.setValue(self.__indexForValue(value))
 def value(self):
 """
 Public method to get the current value.
 @return current zoom value (integer)
 """
 if self.__mapped:
 return self.__mapping[self.slider.value()]
 else:
 return self.slider.value()
 def setMinimum(self, minimum):
 """
 Public method to set the minimum value.
 @param minimum new minimum value (integer)
 """
 if not self.__mapped:
 self.slider.setMinimum(minimum)
 self.__setValueLabelWidth()
 def minimum(self):
 """
 Public method to get the minimum value.
 @return minimum value (integer)
 """
 if self.__mapped:
 return self.__mapping[0]
 else:
 return self.slider.minimum()
 def setMaximum(self, maximum):
 """
 Public method to set the maximum value.
 @param maximum new maximum value (integer)
 """
 if not self.__mapped:
 self.slider.setMaximum(maximum)
 self.__setValueLabelWidth()
 def maximum(self):
 """
 Public method to get the maximum value.
 @return maximum value (integer)
 """
 if self.__mapped:
 return self.__mapping[-1]
 else:
 return self.slider.maximum()
 def setSingleStep(self, value):
 """
 Public method to set the single step value.
 @param value value for the single step (integer)
 """
 self.slider.setSingleStep(value)
 def singleStep(self):
 """
 Public method to get the single step value.
 @return single step value (integer)
 """
 return self.slider.singleStep()
 def setPageStep(self, value):
 """
 Public method to set the page step value.
 @param value page step value (integer)
 """
 self.slider.setPageStep(value)
 def pageStep(self):
 """
 Public method to get the page step value.
 @return page step value (integer)
 """
 return self.slider.pageStep()
 def setDefault(self, value):
 """
 Public method to set the default zoom value.
 @param value default zoom value (integer)
 """
 self.__default = self.__indexForValue(value)
 def default(self):
 """
 Public method to get the default zoom value.
 @return default zoom value (integer)
 """
 if self.__mapped:
 return self.__mapping[self.__default]
 else:
 return self.__default
 def setPercent(self, on):
 """
 Public method to set the percent mode of the widget.
 @param on flag indicating percent mode (boolean)
 """
 self.__percent = on
 self.__setValueLabelWidth()
 def isPercent(self):
 """
 Public method to get the percent mode.
 @return flag indicating percent mode (boolean)
 """
 return self.__percent
 def setMapping(self, mapping, default, percent=True):
 """
 Public method to set a zoom level mapping.
 When zoom level mapping is activated, the slider covers
 values from 0 to the max. index of the mapping list. The
 default value is the value of the default zoom level. If
 percent is given, the zoom level is shown as a percent value.
 @param mapping list of mapping values (list of integer)
 @param default index of the default value (integer)
 @param percent flag indicating to show zoom value in percent
 (boolean)
 """
 self.slider.setMaximum(20)
 self.__default = 0
 self.__percent = False
 self.slider.setValue(0)
 self.__setValueLabelWidth()
 def mapping(self):
 """
 Public method to get the current mapping.
 @return tuple of the mapping and the default index
 (list of integer, integer)
 """
 return self.__mapping[:], self.__default
 def isMapped(self):
 """
 Public method to check for a mapped zoom widget.
 @return flag indicating a mapped zoom widget (boolean)
 """
 return self.__mapped
 def __zoomReset(self):
 """
 Private slot to reset the value.
 """
 self.slider.setValue(self.__default)
 self.valueChanged.emit(self.value())
 def __zoomOut(self):
 """
 Private slot to zoom out one step.
 """
 self.slider.setValue(self.slider.value() - self.slider.singleStep())
 self.valueChanged.emit(self.value())
 def __zoomIn(self):
 """
 Private slot to zoom in one step.
 """
 self.slider.setValue(self.slider.value() + self.slider.singleStep())
 self.valueChanged.emit(self.value())
 def _sliderValueChanged(self, value):
 """
 Protected slot to handle changes of the slider value.
 @param value slider value (integer)
 """
 val = self.__mapping[value] if self.__mapped else value
 fmtStr = "{0}%" if self.__percent else "{0}"
 self.valueLabel.setText(fmtStr.format(val))
 self.valueChanged.emit(val)
 def __setValueLabelWidth(self):
 """
 Private slot to determine the width of the zoom value label.
 """
 labelLen = (
 max(len(str(v)) for v in self.__mapping)
-if self.__mapped else
+if self.__mapped
-max(len(str(self.slider.maximum())),
+else max(len(str(self.slider.maximum())), len(str(self.slider.minimum())))
-len(str(self.slider.minimum())))
 )
 fmtStr = "{0}%" if self.__percent else "{0}"
 label = fmtStr.format("0" * labelLen)
 try:
 width = self.valueLabel.fontMetrics().horizontalAdvance(label)
 except AttributeError:
 width = self.valueLabel.fontMetrics().width(label)
 self.valueLabel.setMinimumWidth(width)
 self.valueLabel.setMaximumWidth(width)
 def __indexForValue(self, value):
 """
 Private method to get the nearest index for a given value.
 @param value value to get the index for (integer)
 @return index into the mapping list or the unchanged value,
 if mapping is not set (integer)
 """
 if self.__mapped:

Mercurial Repositories > eric / file comparison

comparison: src/eric7/EricWidgets/EricZoomWidget.py

src/eric7/EricWidgets/EricZoomWidget.py