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 """ |