E5Gui/E5MapWidget.py

changeset 3891
f6ac4b481bdb
parent 3882
447640057bef
child 3904
65881041981d
--- a/E5Gui/E5MapWidget.py	Tue Oct 28 09:58:50 2014 +0100
+++ b/E5Gui/E5MapWidget.py	Wed Oct 29 13:45:05 2014 +0100
@@ -71,6 +71,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