E5Gui/E5ZoomWidget.py

branch
maintenance
changeset 5680
b93cb6353cc0
parent 5634
ce1f19ff4307
parent 5632
d8ba4e4779a3
child 5730
6422afc7adc4
diff -r 884cd9c9ce05 -r b93cb6353cc0 E5Gui/E5ZoomWidget.py
--- a/E5Gui/E5ZoomWidget.py	Thu Mar 23 18:58:56 2017 +0100
+++ b/E5Gui/E5ZoomWidget.py	Fri Apr 07 18:33:59 2017 +0200
@@ -283,7 +283,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