Fix rotate terminals under tabs
This commit is contained in:
parent
365cf77693
commit
6beaa26277
|
@ -297,9 +297,11 @@ class Notebook(Container, gtk.Notebook):
|
|||
break
|
||||
|
||||
self.set_tab_label(widget, label)
|
||||
self.set_tab_label_packing(term_widget, not self.config['scroll_tabbar'],
|
||||
not self.config['scroll_tabbar'],
|
||||
gtk.PACK_START)
|
||||
gobject.idle_add(self.set_tab_label_packing,
|
||||
term_widget,
|
||||
not self.config['scroll_tabbar'],
|
||||
not self.config['scroll_tabbar'],
|
||||
gtk.PACK_START)
|
||||
|
||||
self.set_tab_reorderable(widget, True)
|
||||
self.set_current_page(tabpos)
|
||||
|
|
|
@ -536,9 +536,15 @@ class Window(Container, gtk.Window):
|
|||
maker = Factory()
|
||||
# collect all paned children in breadth-first order
|
||||
paned = []
|
||||
for child in self.get_children():
|
||||
if maker.isinstance(child, 'Paned'):
|
||||
paned.append(child)
|
||||
child = self.get_child()
|
||||
|
||||
# If our child is a Notebook, reset to work from its visible child
|
||||
if maker.isinstance(child, 'Notebook'):
|
||||
pagenum = child.get_current_page()
|
||||
child = child.get_nth_page(pagenum)
|
||||
|
||||
if maker.isinstance(child, 'Paned'):
|
||||
paned.append(child)
|
||||
for p in paned:
|
||||
for child in p.get_children():
|
||||
if child not in paned and maker.isinstance(child, 'Paned'):
|
||||
|
|
Loading…
Reference in New Issue