E5Gui/E5ZoomWidget.py

changeset 5587
ea526b78ee6c
parent 5389
9b1c800daff3
child 5632
d8ba4e4779a3
equal deleted inserted replaced
5586:0e5421d679e7 5587:ea526b78ee6c
280 def __setValueLabelWidth(self): 280 def __setValueLabelWidth(self):
281 """ 281 """
282 Private slot to determine the width of the zoom value label. 282 Private slot to determine the width of the zoom value label.
283 """ 283 """
284 if self.__mapped: 284 if self.__mapped:
285 labelLen = max([len(str(v)) for v in self.__mapping]) 285 labelLen = max(len(str(v)) for v in self.__mapping)
286 else: 286 else:
287 labelLen = max( 287 labelLen = max(
288 len(str(self.slider.maximum())), 288 len(str(self.slider.maximum())),
289 len(str(self.slider.minimum())) 289 len(str(self.slider.minimum()))
290 ) 290 )

eric ide

mercurial