def addTab(self, w):
""" Add a new tab to the main tab widget. """
ch = self._tabParentCreateRequest
if ch is None:
# Find the first tab widget going down the left of the hierarchy. This
# will be the one in the top left corner.
if self.count() > 0:
ch = self.widget(0)
while not isinstance(ch, _TabWidget):
assert isinstance(ch, QtGui.QSplitter)
ch = ch.widget(0)
else:
# There is no tab widget so create one.
ch = _TabWidget(self)
self.addWidget(ch)
idx = ch.addTab(w, self.disambiguatedWidgetTitle(w))
self.setWidgetToolTip(w, w.tabToolTip())
self.setWidgetIcon(w, w.tabIcon())
self.connect(w, QtCore.SIGNAL("tabStatusChanged()"),
self._update_tab_status)
# If the tab has been added to the current tab widget then make it the
# current tab.
if ch is not self._current_tab_w:
self._set_current_tab(ch, idx)
ch.tabBar().setFocus()
def addTab(self, w):
""" Add a new tab to the main tab widget. """
ch = self._tabParentCreateRequest
if ch is None:
# Find the first tab widget going down the left of the hierarchy. This
# will be the one in the top left corner.
if self.count() > 0:
ch = self.widget(0)
while not isinstance(ch, _TabWidget):
assert isinstance(ch, QtGui.QSplitter)
ch = ch.widget(0)
else:
# There is no tab widget so create one.
ch = _TabWidget(self)
self.addWidget(ch)
idx = ch.addTab(w, self.disambiguatedWidgetTitle(w))
self.setWidgetToolTip(w, w.tabToolTip())
self.setWidgetIcon(w, w.tabIcon())
self.connect(w, QtCore.SIGNAL("tabStatusChanged()"), self._update_tab_status)
# If the tab has been added to the current tab widget then make it the
# current tab.
if ch is not self._current_tab_w:
self._set_current_tab(ch, idx)
ch.tabBar().setFocus()
def _restore_qsplitter(self, state, factory, qsplitter):
sp_qstate, sp_ch_states = state
# Go through each child state which will consist of a tuple of two
# objects. We use the type of the first to determine if the child is a
# tab widget or another splitter.
for ch_state in sp_ch_states:
if isinstance(ch_state[0], int):
current_idx, tabs = ch_state
new_tab = _TabWidget(self)
# Go through each tab and use the factory to restore the page.
for name, title in tabs:
page = factory(name)
if page is not None:
new_tab.addTab(page, title)
# Only add the new tab widget if it is used.
if new_tab.count() > 0:
qsplitter.addWidget(new_tab)
# Set the correct tab as the current one.
new_tab.setCurrentIndex(current_idx)
else:
del new_tab
else:
new_qsp = QtGui.QSplitter()
# Recurse down the tree of splitters.
self._restore_qsplitter(ch_state, factory, new_qsp)
# Only add the new splitter if it is used.
if new_qsp.count() > 0:
qsplitter.addWidget(new_qsp)
else:
del new_qsp
# Restore the QSplitter state (being careful to get the right
# implementation).
QtGui.QSplitter.restoreState(qsplitter, sp_qstate)
def _restore_qsplitter(self, state, factory, qsplitter):
sp_qstate, sp_ch_states = state
# Go through each child state which will consist of a tuple of two
# objects. We use the type of the first to determine if the child is a
# tab widget or another splitter.
for ch_state in sp_ch_states:
if isinstance(ch_state[0], int):
current_idx, tabs = ch_state
new_tab = _TabWidget(self)
# Go through each tab and use the factory to restore the page.
for name, title in tabs:
page = factory(name)
if page is not None:
new_tab.addTab(page, title)
# Only add the new tab widget if it is used.
if new_tab.count() > 0:
qsplitter.addWidget(new_tab)
# Set the correct tab as the current one.
new_tab.setCurrentIndex(current_idx)
else:
del new_tab
else:
new_qsp = QtGui.QSplitter()
# Recurse down the tree of splitters.
self._restore_qsplitter(ch_state, factory, new_qsp)
# Only add the new splitter if it is used.
if new_qsp.count() > 0:
qsplitter.addWidget(new_qsp)
else:
del new_qsp
# Restore the QSplitter state (being careful to get the right
# implementation).
QtGui.QSplitter.restoreState(qsplitter, sp_qstate)
def _drop(self, pos, stab_w, stab):
self._rband.hide()
# Get the destination locations.
dtab_w = self._selected_tab_widget
dhs = self._selected_hotspot
if dhs == self._HS_NONE:
return
elif dhs != self._HS_OUTSIDE:
dsplit_w = dtab_w.parent()
while not isinstance(dsplit_w, SplitTabWidget):
dsplit_w = dsplit_w.parent()
self._selected_tab_widget = None
self._selected_hotspot = self._HS_NONE
# See if the tab is being moved to a new window.
if dhs == self._HS_OUTSIDE:
# Disable tab tear-out for now. It works, but this is something that
# should be turned on manually. We need an interface for this.
#ticon, ttext, ttextcolor, twidg = self._remove_tab(stab_w, stab)
#self.tabCreateRequest.emit(pos, twidg)
return
# See if the tab is being moved to an existing tab widget.
if dhs >= 0 or dhs == self._HS_AFTER_LAST_TAB:
# Make sure it really is being moved.
if stab_w is dtab_w:
if stab == dhs:
return
if dhs == self._HS_AFTER_LAST_TAB and stab == stab_w.count(
) - 1:
return
QtGui.qApp.blockSignals(True)
ticon, ttext, ttextcolor, twidg = self._remove_tab(stab_w, stab)
if dhs == self._HS_AFTER_LAST_TAB:
idx = dtab_w.addTab(twidg, ticon, ttext)
dtab_w.tabBar().setTabTextColor(idx, ttextcolor)
elif dtab_w is stab_w:
# Adjust the index if necessary in case the removal of the tab
# from its old position has skewed things.
dst = dhs
if dhs > stab:
dst -= 1
idx = dtab_w.insertTab(dst, twidg, ticon, ttext)
dtab_w.tabBar().setTabTextColor(idx, ttextcolor)
else:
idx = dtab_w.insertTab(dhs, twidg, ticon, ttext)
dtab_w.tabBar().setTabTextColor(idx, ttextcolor)
dsplit_w._set_current_tab(dtab_w, idx)
else:
# Ignore drops to the same tab widget when it only has one tab.
if stab_w is dtab_w and stab_w.count() == 1:
return
QtGui.qApp.blockSignals(True)
# Remove the tab from its current tab widget and create a new one
# for it.
ticon, ttext, ttextcolor, twidg = self._remove_tab(stab_w, stab)
new_tw = _TabWidget(dsplit_w)
new_tw.addTab(twidg, ticon, ttext)
new_tw.tabBar().setTabTextColor(0, ttextcolor)
# Get the splitter containing the destination tab widget.
dspl = dtab_w.parent()
dspl_idx = dspl.indexOf(dtab_w)
if dhs in (self._HS_NORTH, self._HS_SOUTH):
dspl, dspl_idx = dsplit_w._horizontal_split(
dspl, dspl_idx, dhs)
else:
dspl, dspl_idx = dsplit_w._vertical_split(dspl, dspl_idx, dhs)
# Add the new tab widget in the right place.
dspl.insertWidget(dspl_idx, new_tw)
dsplit_w._set_current_tab(new_tw, 0)
dsplit_w._set_focus()
# Signal that the tab's SplitTabWidget has changed, if necessary.
if dsplit_w != self:
self.currentWidgetChanged.emit(twidg)
QtGui.qApp.blockSignals(False)
def _drop(self, pos, stab_w, stab):
self._rband.hide()
# Get the destination locations.
dtab_w = self._selected_tab_widget
dhs = self._selected_hotspot
if dhs == self._HS_NONE:
return
elif dhs != self._HS_OUTSIDE:
dsplit_w = dtab_w.parent()
while not isinstance(dsplit_w, SplitTabWidget):
dsplit_w = dsplit_w.parent()
self._selected_tab_widget = None
self._selected_hotspot = self._HS_NONE
# See if the tab is being moved to a new window.
if dhs == self._HS_OUTSIDE:
# Disable tab tear-out for now. It works, but this is something that
# should be turned on manually. We need an interface for this.
#ticon, ttext, ttextcolor, twidg = self._remove_tab(stab_w, stab)
#self.tabCreateRequest.emit(pos, twidg)
return
# See if the tab is being moved to an existing tab widget.
if dhs >= 0 or dhs == self._HS_AFTER_LAST_TAB:
# Make sure it really is being moved.
if stab_w is dtab_w:
if stab == dhs:
return
if dhs == self._HS_AFTER_LAST_TAB and stab == stab_w.count()-1:
return
QtGui.qApp.blockSignals(True)
ticon, ttext, ttextcolor, twidg = self._remove_tab(stab_w, stab)
if dhs == self._HS_AFTER_LAST_TAB:
idx = dtab_w.addTab(twidg, ticon, ttext)
dtab_w.tabBar().setTabTextColor(idx, ttextcolor)
elif dtab_w is stab_w:
# Adjust the index if necessary in case the removal of the tab
# from its old position has skewed things.
dst = dhs
if dhs > stab:
dst -= 1
idx = dtab_w.insertTab(dst, twidg, ticon, ttext)
dtab_w.tabBar().setTabTextColor(idx, ttextcolor)
else:
idx = dtab_w.insertTab(dhs, twidg, ticon, ttext)
dtab_w.tabBar().setTabTextColor(idx, ttextcolor)
dsplit_w._set_current_tab(dtab_w, idx)
else:
# Ignore drops to the same tab widget when it only has one tab.
if stab_w is dtab_w and stab_w.count() == 1:
return
QtGui.qApp.blockSignals(True)
# Remove the tab from its current tab widget and create a new one
# for it.
ticon, ttext, ttextcolor, twidg = self._remove_tab(stab_w, stab)
new_tw = _TabWidget(dsplit_w)
new_tw.addTab(twidg, ticon, ttext)
new_tw.tabBar().setTabTextColor(0, ttextcolor)
# Get the splitter containing the destination tab widget.
dspl = dtab_w.parent()
dspl_idx = dspl.indexOf(dtab_w)
if dhs in (self._HS_NORTH, self._HS_SOUTH):
dspl, dspl_idx = dsplit_w._horizontal_split(dspl, dspl_idx, dhs)
else:
dspl, dspl_idx = dsplit_w._vertical_split(dspl, dspl_idx, dhs)
# Add the new tab widget in the right place.
dspl.insertWidget(dspl_idx, new_tw)
dsplit_w._set_current_tab(new_tw, 0)
dsplit_w._set_focus()
# Signal that the tab's SplitTabWidget has changed, if necessary.
if dsplit_w != self:
self.currentWidgetChanged.emit(twidg)
QtGui.qApp.blockSignals(False)