Fixed the tab bar issue observed for some styles (like Mac Aqua).

Sat, 05 Nov 2011 11:08:35 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 05 Nov 2011 11:08:35 +0100
changeset 1422
47f1dffa398e
parent 1421
8fead6686d1c
child 1423
dd5f9aa16bd2

Fixed the tab bar issue observed for some styles (like Mac Aqua).

Documentation/Help/source.qch file | annotate | diff | comparison | revisions
E5Gui/E5ToolBox.py file | annotate | diff | comparison | revisions
Helpviewer/HelpTabWidget.py file | annotate | diff | comparison | revisions
Plugins/ViewManagerPlugins/Tabview/Tabview.py file | annotate | diff | comparison | revisions
Project/ProjectBrowser.py file | annotate | diff | comparison | revisions
Binary file Documentation/Help/source.qch has changed
--- a/E5Gui/E5ToolBox.py	Fri Nov 04 17:38:51 2011 +0100
+++ b/E5Gui/E5ToolBox.py	Sat Nov 05 11:08:35 2011 +0100
@@ -37,6 +37,7 @@
         """
         E5TabWidget.__init__(self, parent)
         self.setTabPosition(QTabWidget.West)
+        self.setUsesScrollButtons(True)
     
     def addItem(self, widget, icon, text):
         """
--- a/Helpviewer/HelpTabWidget.py	Fri Nov 04 17:38:51 2011 +0100
+++ b/Helpviewer/HelpTabWidget.py	Sat Nov 05 11:08:35 2011 +0100
@@ -55,6 +55,10 @@
         
         self.__mainWindow = parent
         
+        self.setUsesScrollButtons(True)
+        self.setDocumentMode(True)
+        self.setElideMode(Qt.ElideNone)
+        
         self.__stackedUrlBar = StackedUrlBar(self)
         self.__tabBar.tabMoved.connect(self.__stackedUrlBar.moveBar)
         
--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Fri Nov 04 17:38:51 2011 +0100
+++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Sat Nov 05 11:08:35 2011 +0100
@@ -157,6 +157,10 @@
         self.__tabBar = TabBar(self)
         self.setTabBar(self.__tabBar)
         
+        self.setUsesScrollButtons(True)
+        self.setDocumentMode(True)
+        self.setElideMode(Qt.ElideNone)
+        
         self.__tabBar.tabMoveRequested.connect(self.moveTab)
         self.__tabBar.tabRelocateRequested.connect(self.__relocateTab)
         self.__tabBar.tabCopyRequested[str, int, int].connect(self.__copyTabOther)
--- a/Project/ProjectBrowser.py	Fri Nov 04 17:38:51 2011 +0100
+++ b/Project/ProjectBrowser.py	Sat Nov 05 11:08:35 2011 +0100
@@ -58,6 +58,8 @@
         
         self.setWindowIcon(UI.PixmapCache.getIcon("eric.png"))
         
+        self.setUsesScrollButtons(True)
+        
         self.vcsStatusIndicator = E5Led(self)
         self.setCornerWidget(self.vcsStatusIndicator, Qt.TopLeftCorner)
         self.vcsStatusColorNames = {

eric ide

mercurial