E5Gui/E5ZoomWidget.py

changeset 5587
ea526b78ee6c
parent 5389
9b1c800daff3
child 5632
d8ba4e4779a3
diff -r 0e5421d679e7 -r ea526b78ee6c E5Gui/E5ZoomWidget.py
--- a/E5Gui/E5ZoomWidget.py	Tue Mar 07 18:46:09 2017 +0100
+++ b/E5Gui/E5ZoomWidget.py	Tue Mar 07 18:53:18 2017 +0100
@@ -282,7 +282,7 @@
         Private slot to determine the width of the zoom value label.
         """
         if self.__mapped:
-            labelLen = max([len(str(v)) for v in self.__mapping])
+            labelLen = max(len(str(v)) for v in self.__mapping)
         else:
             labelLen = max(
                 len(str(self.slider.maximum())),

eric ide

mercurial