E5Gui/E5ZoomWidget.py

branch
maintenance
changeset 5634
ce1f19ff4307
parent 5389
9b1c800daff3
child 5680
b93cb6353cc0
equal deleted inserted replaced
5633:1a767ca5bbf3 5634:ce1f19ff4307
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