eric7/E5Gui/E5MapWidget.py

branch
eric7
changeset 8319
ea11a3948f40
parent 8318
962bce857696
equal deleted inserted replaced
8318:962bce857696 8319:ea11a3948f40
265 vsb = self._master.verticalScrollBar() 265 vsb = self._master.verticalScrollBar()
266 if vsb.isVisible(): 266 if vsb.isVisible():
267 vsbw = vsb.contentsRect().width() 267 vsbw = vsb.contentsRect().width()
268 else: 268 else:
269 vsbw = 0 269 vsbw = 0
270 left, top, right, bottom = self._master.getContentsMargins() 270 margins = self._master.contentsMargins()
271 if right > vsbw: 271 if margins.right() > vsbw:
272 vsbw = 0 272 vsbw = 0
273 if self.__rightSide: 273 if self.__rightSide:
274 self.setGeometry( 274 self.setGeometry(
275 QRect(cr.right() - self.__width - vsbw, cr.top(), 275 QRect(cr.right() - self.__width - vsbw, cr.top(),
276 self.__width, cr.height())) 276 self.__width, cr.height()))

eric ide

mercurial