E5Gui/E5MapWidget.py

changeset 6031
ccab25598d90
parent 5736
000ea446ff4b
child 6048
82ad8ec9548c
equal deleted inserted replaced
6030:63d1c50b637d 6031:ccab25598d90
71 @param master map master widget (QAbstractScrollArea) 71 @param master map master widget (QAbstractScrollArea)
72 """ 72 """
73 self._master = master 73 self._master = master
74 self._master.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn) 74 self._master.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn)
75 self._master.verticalScrollBar().valueChanged.connect(self.repaint) 75 self._master.verticalScrollBar().valueChanged.connect(self.repaint)
76 self._master.verticalScrollBar().rangeChanged.connect(self.repaint)
76 self.__updateMasterViewportWidth() 77 self.__updateMasterViewportWidth()
77 78
78 def setWidth(self, width): 79 def setWidth(self, width):
79 """ 80 """
80 Public method to set the widget width. 81 Public method to set the widget width.

eric ide

mercurial