E5Gui/E5ZoomWidget.py

changeset 5632
d8ba4e4779a3
parent 5587
ea526b78ee6c
child 5680
b93cb6353cc0
child 5726
e1dbd217214a
equal deleted inserted replaced
5631:d0beabfaad42 5632:d8ba4e4779a3
274 val = self.__mapping[value] 274 val = self.__mapping[value]
275 else: 275 else:
276 val = value 276 val = value
277 fmtStr = "{0}%" if self.__percent else "{0}" 277 fmtStr = "{0}%" if self.__percent else "{0}"
278 self.valueLabel.setText(fmtStr.format(val)) 278 self.valueLabel.setText(fmtStr.format(val))
279 self.valueChanged.emit(val)
279 280
280 def __setValueLabelWidth(self): 281 def __setValueLabelWidth(self):
281 """ 282 """
282 Private slot to determine the width of the zoom value label. 283 Private slot to determine the width of the zoom value label.
283 """ 284 """

eric ide

mercurial