WebBrowser/WebBrowserWindow.py

changeset 5738
912d7ba40c26
parent 5736
000ea446ff4b
child 5740
292538236234
diff -r 6820ae39114e -r 912d7ba40c26 WebBrowser/WebBrowserWindow.py
--- 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):
         """

eric ide

mercurial