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