E5Gui/E5MapWidget.py

changeset 6308
f49ce4c244b1
parent 6279
7c44be92f8a4
child 6645
ad476851d7e0
equal deleted inserted replaced
6307:e087399669e0 6308:f49ce4c244b1
74 74
75 @param master map master widget (QAbstractScrollArea) 75 @param master map master widget (QAbstractScrollArea)
76 """ 76 """
77 self._master = master 77 self._master = master
78 self._master.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn) 78 self._master.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn)
79 self._master.verticalScrollBar().valueChanged.connect(self.repaint) 79 self._master.verticalScrollBar().valueChanged.connect(self.update)
80 self._master.verticalScrollBar().rangeChanged.connect(self.repaint) 80 self._master.verticalScrollBar().rangeChanged.connect(self.update)
81 self.__updateMasterViewportWidth() 81 self.__updateMasterViewportWidth()
82 82
83 def setWidth(self, width): 83 def setWidth(self, width):
84 """ 84 """
85 Public method to set the widget width. 85 Public method to set the widget width.

eric ide

mercurial