eric6/WebBrowser/AutoScroll/AutoScroller.py

changeset 7533
88261c96484b
parent 7360
9190402e4505
child 7781
607a6098cb44
equal deleted inserted replaced
7532:1358e9d67a1c 7533:88261c96484b
211 if not vertical and not horizontal: 211 if not vertical and not horizontal:
212 return False 212 return False
213 213
214 if vertical and horizontal: 214 if vertical and horizontal:
215 self.__indicator.setPixmap( 215 self.__indicator.setPixmap(
216 UI.PixmapCache.getPixmap("scrollAll.png")) 216 UI.PixmapCache.getPixmap("scrollAll"))
217 elif vertical: 217 elif vertical:
218 self.__indicator.setPixmap( 218 self.__indicator.setPixmap(
219 UI.PixmapCache.getPixmap("scrollVertical.png")) 219 UI.PixmapCache.getPixmap("scrollVertical"))
220 else: 220 else:
221 self.__indicator.setPixmap( 221 self.__indicator.setPixmap(
222 UI.PixmapCache.getPixmap("scrollHorizontal.png")) 222 UI.PixmapCache.getPixmap("scrollHorizontal"))
223 223
224 self.__view = view 224 self.__view = view
225 p = QPoint( 225 p = QPoint(
226 pos.x() - self.__indicator.pixmap().width() // 2, 226 pos.x() - self.__indicator.pixmap().width() // 2,
227 pos.y() - self.__indicator.pixmap().height() // 2 227 pos.y() - self.__indicator.pixmap().height() // 2

eric ide

mercurial