E5Gui/E5MapWidget.py

changeset 6031
ccab25598d90
parent 5736
000ea446ff4b
child 6048
82ad8ec9548c
--- a/E5Gui/E5MapWidget.py	Wed Dec 20 12:27:43 2017 +0100
+++ b/E5Gui/E5MapWidget.py	Fri Dec 22 16:07:49 2017 +0100
@@ -73,6 +73,7 @@
         self._master = master
         self._master.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn)
         self._master.verticalScrollBar().valueChanged.connect(self.repaint)
+        self._master.verticalScrollBar().rangeChanged.connect(self.repaint)
         self.__updateMasterViewportWidth()
     
     def setWidth(self, width):

eric ide

mercurial