Sat, 18 Mar 2017 14:39:01 +0100
Fixed handling of the zoom widget slider.
E5Gui/E5ZoomWidget.py | file | annotate | diff | comparison | revisions |
--- a/E5Gui/E5ZoomWidget.py Sat Mar 18 14:19:22 2017 +0100 +++ b/E5Gui/E5ZoomWidget.py Sat Mar 18 14:39:01 2017 +0100 @@ -276,6 +276,7 @@ val = value fmtStr = "{0}%" if self.__percent else "{0}" self.valueLabel.setText(fmtStr.format(val)) + self.valueChanged.emit(val) def __setValueLabelWidth(self): """