E5Gui/E5MapWidget.py

changeset 3904
65881041981d
parent 3891
f6ac4b481bdb
child 4021
195a471c327b
equal deleted inserted replaced
3903:5829d2580f65 3904:65881041981d
69 @param master map master widget (QAbstractScrollArea) 69 @param master map master widget (QAbstractScrollArea)
70 """ 70 """
71 self._master = master 71 self._master = master
72 self._master.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn) 72 self._master.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn)
73 self._master.verticalScrollBar().valueChanged.connect(self.repaint) 73 self._master.verticalScrollBar().valueChanged.connect(self.repaint)
74 self._master.verticalScrollBar().rangeChanged.connect(self.repaint)
75 self.__updateMasterViewportWidth() 74 self.__updateMasterViewportWidth()
76 75
77 def setWidth(self, width): 76 def setWidth(self, width):
78 """ 77 """
79 Public method to set the widget width. 78 Public method to set the widget width.

eric ide

mercurial