src/eric7/EricWidgets/EricZoomWidget.py

branch
eric7
changeset 9482
a2bc06a54d9d
parent 9473
3f23dbf37dbe
child 9653
e67609152c5e
equal deleted inserted replaced
9481:0b936ff1bbb9 9482:a2bc06a54d9d
285 if self.__mapped 285 if self.__mapped
286 else max(len(str(self.slider.maximum())), len(str(self.slider.minimum()))) 286 else max(len(str(self.slider.maximum())), len(str(self.slider.minimum())))
287 ) 287 )
288 fmtStr = "{0}%" if self.__percent else "{0}" 288 fmtStr = "{0}%" if self.__percent else "{0}"
289 label = fmtStr.format("0" * labelLen) 289 label = fmtStr.format("0" * labelLen)
290 try: 290 width = self.valueLabel.fontMetrics().horizontalAdvance(label)
291 width = self.valueLabel.fontMetrics().horizontalAdvance(label)
292 except AttributeError:
293 width = self.valueLabel.fontMetrics().width(label)
294 self.valueLabel.setMinimumWidth(width) 291 self.valueLabel.setMinimumWidth(width)
295 self.valueLabel.setMaximumWidth(width) 292 self.valueLabel.setMaximumWidth(width)
296 293
297 def __indexForValue(self, value): 294 def __indexForValue(self, value):
298 """ 295 """

eric ide

mercurial