24 |
24 |
25 from E5Gui.E5TabWidget import E5TabWidget, E5WheelTabBar |
25 from E5Gui.E5TabWidget import E5TabWidget, E5WheelTabBar |
26 from E5Gui.E5Led import E5Led |
26 from E5Gui.E5Led import E5Led |
27 |
27 |
28 import Preferences |
28 import Preferences |
|
29 from Globals import isMacPlatform |
29 |
30 |
30 from eric5config import getConfig |
31 from eric5config import getConfig |
31 |
32 |
32 |
33 |
33 class TabBar(E5WheelTabBar): |
34 class TabBar(E5WheelTabBar): |
156 |
157 |
157 self.__tabBar = TabBar(self) |
158 self.__tabBar = TabBar(self) |
158 self.setTabBar(self.__tabBar) |
159 self.setTabBar(self.__tabBar) |
159 |
160 |
160 self.setUsesScrollButtons(True) |
161 self.setUsesScrollButtons(True) |
161 self.setDocumentMode(True) |
|
162 self.setElideMode(Qt.ElideNone) |
162 self.setElideMode(Qt.ElideNone) |
|
163 if isMacPlatform(): |
|
164 self.setDocumentMode(True) |
163 |
165 |
164 self.__tabBar.tabMoveRequested.connect(self.moveTab) |
166 self.__tabBar.tabMoveRequested.connect(self.moveTab) |
165 self.__tabBar.tabRelocateRequested.connect(self.__relocateTab) |
167 self.__tabBar.tabRelocateRequested.connect(self.__relocateTab) |
166 self.__tabBar.tabCopyRequested[str, int, int].connect(self.__copyTabOther) |
168 self.__tabBar.tabCopyRequested[str, int, int].connect(self.__copyTabOther) |
167 self.__tabBar.tabCopyRequested[int, int].connect(self.__copyTab) |
169 self.__tabBar.tabCopyRequested[int, int].connect(self.__copyTab) |