Mercurial Repositories > eric / changeset

--- a/WebBrowser/WebBrowserWindow.py	Sat May 13 16:34:04 2017 +0200
+++ b/WebBrowser/WebBrowserWindow.py	Sat May 13 18:19:06 2017 +0200
@@ -2704,6 +2704,7 @@
             self.__hideNavigationTimer.stop()
         
         self.__navigationContainer.show()
+        self.__tabWidget.tabBar().show()
     
     def hideFullScreenNavigation(self):
         """
@@ -2721,6 +2722,7 @@
         
         if self.isFullScreen() and mouseInBrowser:
             self.__navigationContainer.hide()
+            self.__tabWidget.tabBar().hide()
     
     def __copy(self):
         """