34 from eric7 import Preferences |
34 from eric7 import Preferences |
35 from eric7.EricGui import EricPixmapCache |
35 from eric7.EricGui import EricPixmapCache |
36 from eric7.EricWidgets.EricApplication import ericApp |
36 from eric7.EricWidgets.EricApplication import ericApp |
37 from eric7.EricWidgets.EricLed import EricLed |
37 from eric7.EricWidgets.EricLed import EricLed |
38 from eric7.EricWidgets.EricTabWidget import EricTabWidget, EricWheelTabBar |
38 from eric7.EricWidgets.EricTabWidget import EricTabWidget, EricWheelTabBar |
39 from eric7.Globals import getConfig, isMacPlatform |
39 from eric7.Globals import getConfig |
40 from eric7.QScintilla.Editor import Editor |
40 from eric7.QScintilla.Editor import Editor |
41 from eric7.QScintilla.EditorAssembly import EditorAssembly |
41 from eric7.QScintilla.EditorAssembly import EditorAssembly |
|
42 from eric7.SystemUtilities import OSUtilities |
42 from eric7.ViewManager.ViewManager import ViewManager |
43 from eric7.ViewManager.ViewManager import ViewManager |
43 |
44 |
44 |
45 |
45 class TabBar(EricWheelTabBar): |
46 class TabBar(EricWheelTabBar): |
46 """ |
47 """ |
186 iconSize = self.__tabBar.iconSize() |
187 iconSize = self.__tabBar.iconSize() |
187 self.__tabBar.setIconSize(QSize(2 * iconSize.width(), iconSize.height())) |
188 self.__tabBar.setIconSize(QSize(2 * iconSize.width(), iconSize.height())) |
188 |
189 |
189 self.setUsesScrollButtons(True) |
190 self.setUsesScrollButtons(True) |
190 self.setElideMode(Qt.TextElideMode.ElideNone) |
191 self.setElideMode(Qt.TextElideMode.ElideNone) |
191 if isMacPlatform(): |
192 if OSUtilities.isMacPlatform(): |
192 self.setDocumentMode(True) |
193 self.setDocumentMode(True) |
193 |
194 |
194 self.__tabBar.tabMoveRequested.connect(self.moveTab) |
195 self.__tabBar.tabMoveRequested.connect(self.moveTab) |
195 self.__tabBar.tabRelocateRequested.connect(self.__relocateTab) |
196 self.__tabBar.tabRelocateRequested.connect(self.__relocateTab) |
196 self.__tabBar.tabCopyRequested[str, int, int].connect(self.__copyTabOther) |
197 self.__tabBar.tabCopyRequested[str, int, int].connect(self.__copyTabOther) |