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())),