eric6/E5Gui/E5ZoomWidget.py

changeset 8234
fcb6b4b96274
parent 8218
7c09585bd960
child 8257
28146736bbfc
equal deleted inserted replaced
8233:bad78a592cc2 8234:fcb6b4b96274
268 """ 268 """
269 Protected slot to handle changes of the slider value. 269 Protected slot to handle changes of the slider value.
270 270
271 @param value slider value (integer) 271 @param value slider value (integer)
272 """ 272 """
273 if self.__mapped: 273 val = self.__mapping[value] if self.__mapped else value
274 val = self.__mapping[value]
275 else:
276 val = value
277 fmtStr = "{0}%" if self.__percent else "{0}" 274 fmtStr = "{0}%" if self.__percent else "{0}"
278 self.valueLabel.setText(fmtStr.format(val)) 275 self.valueLabel.setText(fmtStr.format(val))
279 self.valueChanged.emit(val) 276 self.valueChanged.emit(val)
280 277
281 def __setValueLabelWidth(self): 278 def __setValueLabelWidth(self):

eric ide

mercurial