--- a/eric6/E5Gui/E5ZoomWidget.py	Tue Apr 13 17:49:05 2021 +0200
+++ b/eric6/E5Gui/E5ZoomWidget.py	Tue Apr 13 18:02:59 2021 +0200
@@ -270,10 +270,7 @@
         
         @param value slider value (integer)
         """
-        if self.__mapped:
-            val = self.__mapping[value]
-        else:
-            val = value
+        val = self.__mapping[value] if self.__mapped else value
         fmtStr = "{0}%" if self.__percent else "{0}"
         self.valueLabel.setText(fmtStr.format(val))
         self.valueChanged.emit(val)