E5Gui/E5MapWidget.py

changeset 4371
e09838aa0a9f
parent 4021
195a471c327b
child 4631
5c1a96925da4
equal deleted inserted replaced
4370:54dbb658f9e6 4371:e09838aa0a9f
242 left, top, right, bottom = self._master.getContentsMargins() 242 left, top, right, bottom = self._master.getContentsMargins()
243 if right > vsbw: 243 if right > vsbw:
244 vsbw = 0 244 vsbw = 0
245 self.setGeometry(QRect(cr.right() - self.__width - vsbw, cr.top(), 245 self.setGeometry(QRect(cr.right() - self.__width - vsbw, cr.top(),
246 self.__width, cr.height())) 246 self.__width, cr.height()))
247 self.update()
247 248
248 def scaleFactor(self, slider=False): 249 def scaleFactor(self, slider=False):
249 """ 250 """
250 Public method to determine the scrollbar's scale factor. 251 Public method to determine the scrollbar's scale factor.
251 252

eric ide

mercurial