WebBrowser/WebBrowserWindow.py

changeset 5738
912d7ba40c26
parent 5736
000ea446ff4b
child 5740
292538236234
equal deleted inserted replaced
5737:6820ae39114e 5738:912d7ba40c26
2702 2702
2703 if self.__hideNavigationTimer.isActive(): 2703 if self.__hideNavigationTimer.isActive():
2704 self.__hideNavigationTimer.stop() 2704 self.__hideNavigationTimer.stop()
2705 2705
2706 self.__navigationContainer.show() 2706 self.__navigationContainer.show()
2707 self.__tabWidget.tabBar().show()
2707 2708
2708 def hideFullScreenNavigation(self): 2709 def hideFullScreenNavigation(self):
2709 """ 2710 """
2710 Public slot to hide full screen navigation. 2711 Public slot to hide full screen navigation.
2711 """ 2712 """
2719 browser = self.currentBrowser() 2720 browser = self.currentBrowser()
2720 mouseInBrowser = browser and browser.underMouse() 2721 mouseInBrowser = browser and browser.underMouse()
2721 2722
2722 if self.isFullScreen() and mouseInBrowser: 2723 if self.isFullScreen() and mouseInBrowser:
2723 self.__navigationContainer.hide() 2724 self.__navigationContainer.hide()
2725 self.__tabWidget.tabBar().hide()
2724 2726
2725 def __copy(self): 2727 def __copy(self):
2726 """ 2728 """
2727 Private slot called to handle the copy action. 2729 Private slot called to handle the copy action.
2728 """ 2730 """

eric ide

mercurial