def _vertical_split(self, spl, idx, hs):
""" Returns a tuple of the splitter and index where the new tab widget
should be put.
"""
if spl.orientation() == QtCore.Qt.Horizontal:
if hs == self._HS_EAST:
idx += 1
elif spl is self and spl.count() == 1:
# The splitter is the root and only has one child so we can just
# change its orientation.
spl.setOrientation(QtCore.Qt.Horizontal)
if hs == self._HS_EAST:
idx = -1
else:
new_spl = QtGui.QSplitter(QtCore.Qt.Horizontal)
new_spl.addWidget(spl.widget(idx))
spl.insertWidget(idx, new_spl)
if hs == self._HS_EAST:
idx = -1
else:
idx = 0
spl = new_spl
return (spl, idx)
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)