--- a/src/eric7/EricWidgets/EricZoomWidget.py Wed Jul 13 11:16:20 2022 +0200
+++ b/src/eric7/EricWidgets/EricZoomWidget.py Wed Jul 13 14:55:47 2022 +0200
@@ -16,15 +16,16 @@
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)
@@ -32,176 +33,176 @@
"""
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
@@ -225,65 +226,64 @@
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
- max(len(str(self.slider.maximum())),
- len(str(self.slider.minimum())))
+ if self.__mapped
+ else max(len(str(self.slider.maximum())), len(str(self.slider.minimum())))
)
fmtStr = "{0}%" if self.__percent else "{0}"
label = fmtStr.format("0" * labelLen)
@@ -293,11 +293,11 @@
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)
