def __init__(self, parent):
"""
Constructor
@param parent parent widget (QWidget)
"""
self.tabWidgets = []
self.__splitter = QSplitter(parent)
ViewManager.__init__(self)
self.__splitter.setChildrenCollapsible(False)
tw = TabWidget(self)
self.__splitter.addWidget(tw)
self.tabWidgets.append(tw)
self.currentTabWidget = tw
self.currentTabWidget.showIndicator(True)
tw.currentChanged.connect(self.__currentChanged)
tw.installEventFilter(self)
tw.tabBar().installEventFilter(self)
self.__splitter.setOrientation(Qt.Vertical)
self.__inRemoveView = False
self.maxFileNameChars = Preferences.getUI(
"TabViewManagerFilenameLength")
self.filenameOnly = Preferences.getUI("TabViewManagerFilenameOnly")
def __init__(self, parent):
"""
Constructor
@param parent parent widget (QWidget)
@param ui reference to the main user interface
@param dbs reference to the debug server object
"""
self.tabWidgets = []
QSplitter.__init__(self, parent)
ViewManager.__init__(self)
tw = TabWidget(self)
self.addWidget(tw)
self.tabWidgets.append(tw)
self.currentTabWidget = tw
self.currentTabWidget.showIndicator(True)
self.connect(tw, SIGNAL('currentChanged(int)'),
self.__currentChanged)
tw.installEventFilter(self)
tw.tabBar().installEventFilter(self)
self.setOrientation(Qt.Vertical)
self.__inRemoveView = False
self.maxFileNameChars = Preferences.getUI("TabViewManagerFilenameLength")
self.filenameOnly = Preferences.getUI("TabViewManagerFilenameOnly")
def __init__(self, parent):
"""
Constructor
@param parent parent widget (QWidget)
"""
self.tabWidgets = []
QSplitter.__init__(self, parent)
ViewManager.__init__(self)
self.setChildrenCollapsible(False)
tw = TabWidget(self)
self.addWidget(tw)
self.tabWidgets.append(tw)
self.currentTabWidget = tw
self.currentTabWidget.showIndicator(True)
tw.currentChanged.connect(self.__currentChanged)
tw.installEventFilter(self)
tw.tabBar().installEventFilter(self)
self.setOrientation(Qt.Vertical)
self.__inRemoveView = False
self.maxFileNameChars = Preferences.getUI(
"TabViewManagerFilenameLength")
self.filenameOnly = Preferences.getUI("TabViewManagerFilenameOnly")
def __init__(self, parent):
"""
Constructor
@param parent parent widget (QWidget)
@param ui reference to the main user interface
@param dbs reference to the debug server object
"""
QWorkspace.__init__(self, parent)
ViewManager.__init__(self)
self.setScrollBarsEnabled(True)
self.lastFN = ''
self.__windowMapper = QSignalMapper(self)
self.connect(self.__windowMapper, SIGNAL('mapped(QWidget*)'),
self.setActiveWindow)
self.connect(self, SIGNAL('windowActivated(QWidget*)'),
self.__windowActivated)
def __init__(self, parent):
"""
Constructor
@param parent parent widget (QWidget)
@param ui reference to the main user interface
@param dbs reference to the debug server object
"""
self.stacks = []
QSplitter.__init__(self, parent)
ViewManager.__init__(self)
self.viewlist = QListWidget(self)
policy = self.viewlist.sizePolicy()
policy.setHorizontalPolicy(QSizePolicy.Ignored)
self.viewlist.setSizePolicy(policy)
self.addWidget(self.viewlist)
self.viewlist.setContextMenuPolicy(Qt.CustomContextMenu)
self.connect(self.viewlist, SIGNAL("itemActivated(QListWidgetItem*)"),
self.__showSelectedView)
self.connect(self.viewlist, SIGNAL("itemClicked(QListWidgetItem*)"),
self.__showSelectedView)
self.connect(self.viewlist, SIGNAL("customContextMenuRequested(const QPoint &)"),
self.__showMenu)
self.stackArea = QSplitter(self)
self.addWidget(self.stackArea)
self.stackArea.setOrientation(Qt.Vertical)
stack = StackedWidget(self.stackArea)
self.stackArea.addWidget(stack)
self.stacks.append(stack)
self.currentStack = stack
self.connect(stack, SIGNAL('currentChanged(int)'),
self.__currentChanged)
stack.installEventFilter(self)
self.setSizes([int(self.width() * 0.2), int(self.width() * 0.8)]) # 20% for viewlist
self.__inRemoveView = False
self.__initMenu()
self.contextMenuEditor = None
def __init__(self, parent):
"""
Constructor
@param parent parent widget (QWidget)
"""
self.stacks = []
self.__splitter = QSplitter(parent)
ViewManager.__init__(self)
self.__splitter.setChildrenCollapsible(False)
self.viewlist = QListWidget(self)
policy = self.viewlist.sizePolicy()
policy.setHorizontalPolicy(QSizePolicy.Ignored)
self.viewlist.setSizePolicy(policy)
self.__splitter.addWidget(self.viewlist)
self.viewlist.setContextMenuPolicy(Qt.CustomContextMenu)
self.viewlist.currentRowChanged.connect(self.__showSelectedView)
self.viewlist.customContextMenuRequested.connect(self.__showMenu)
self.stackArea = QSplitter(self)
self.stackArea.setChildrenCollapsible(False)
self.__splitter.addWidget(self.stackArea)
self.stackArea.setOrientation(Qt.Vertical)
stack = StackedWidget(self.stackArea)
self.stackArea.addWidget(stack)
self.stacks.append(stack)
self.currentStack = stack
stack.currentChanged.connect(self.__currentChanged)
stack.installEventFilter(self)
self.__splitter.setSizes(
[int(self.width() * 0.2),
int(self.width() * 0.8)])
# 20% for viewlist, 80% for the editors
self.__inRemoveView = False
self.__initMenu()
self.contextMenuEditor = None
self.contextMenuIndex = -1
def __init__(self, parent):
"""
Constructor
@param parent parent widget (QWidget)
@param ui reference to the main user interface
@param dbs reference to the debug server object
"""
QMdiArea.__init__(self, parent)
ViewManager.__init__(self)
self.lastFN = ''
self.__removingView = False
self.setHorizontalScrollBarPolicy(Qt.ScrollBarAsNeeded)
self.setVerticalScrollBarPolicy(Qt.ScrollBarAsNeeded)
self.__windowMapper = QSignalMapper(self)
self.connect(self.__windowMapper, SIGNAL('mapped(QWidget*)'),
self.setActiveSubWindow)
self.connect(self, SIGNAL('subWindowActivated(QMdiSubWindow*)'),
self.__subWindowActivated)
def __init__(self, parent):
"""
Constructor
@param parent parent widget (QWidget)
"""
self.stacks = []
QSplitter.__init__(self, parent)
ViewManager.__init__(self)
self.setChildrenCollapsible(False)
self.viewlist = QListWidget(self)
policy = self.viewlist.sizePolicy()
policy.setHorizontalPolicy(QSizePolicy.Ignored)
self.viewlist.setSizePolicy(policy)
self.addWidget(self.viewlist)
self.viewlist.setContextMenuPolicy(Qt.CustomContextMenu)
self.viewlist.currentRowChanged.connect(self.__showSelectedView)
self.viewlist.customContextMenuRequested.connect(self.__showMenu)
self.stackArea = QSplitter(self)
self.stackArea.setChildrenCollapsible(False)
self.addWidget(self.stackArea)
self.stackArea.setOrientation(Qt.Vertical)
stack = StackedWidget(self.stackArea)
self.stackArea.addWidget(stack)
self.stacks.append(stack)
self.currentStack = stack
stack.currentChanged.connect(self.__currentChanged)
stack.installEventFilter(self)
self.setSizes([int(self.width() * 0.2), int(self.width() * 0.8)])
# 20% for viewlist, 80% for the editors
self.__inRemoveView = False
self.__initMenu()
self.contextMenuEditor = None
self.contextMenuIndex = -1