WebBrowser/WebBrowserView.py

changeset 5740
292538236234
parent 5736
000ea446ff4b
child 5752
1860eca908e4
child 5784
362bbcc49ac1
equal deleted inserted replaced
5739:a870f5f03baa 5740:292538236234
1286 @param evt reference to the mouse event (QMouseEvent) 1286 @param evt reference to the mouse event (QMouseEvent)
1287 """ 1287 """
1288 if self.__mw and self.__mw.isFullScreen(): 1288 if self.__mw and self.__mw.isFullScreen():
1289 if self.__mw.isFullScreenNavigationVisible(): 1289 if self.__mw.isFullScreenNavigationVisible():
1290 self.__mw.hideFullScreenNavigation() 1290 self.__mw.hideFullScreenNavigation()
1291 elif evt.y() < 5: 1291 elif evt.y() < 10:
1292 # mouse is within 5px to the top 1292 # mouse is within 10px to the top
1293 self.__mw.showFullScreenNavigation() 1293 self.__mw.showFullScreenNavigation()
1294 1294
1295 if WebBrowserWindow.autoScroller().mouseMove(evt): 1295 if WebBrowserWindow.autoScroller().mouseMove(evt):
1296 evt.accept() 1296 evt.accept()
1297 1297

eric ide

mercurial