Little enhancement to the Web Browser NG.

Sat, 13 May 2017 18:19:06 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 13 May 2017 18:19:06 +0200
changeset 5738
912d7ba40c26
parent 5737
6820ae39114e
child 5739
a870f5f03baa

Little enhancement to the Web Browser NG.

WebBrowser/WebBrowserWindow.py file | annotate | diff | comparison | revisions
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