src/eric7/Plugins/ViewManagerPlugins/Tabview/Tabview.py

branch
eric7
changeset 9624
b47dfa7a137d
parent 9473
3f23dbf37dbe
child 9653
e67609152c5e
equal deleted inserted replaced
9623:9c1f429cb56b 9624:b47dfa7a137d
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)

eric ide

mercurial