itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

(trunk-1606) Fix the problem with tabs not being named where a window with splits creates a new tab

This commit is contained in:
Stephen Boddy 2015-08-09 04:34:05 +02:00
parent 91ba24f47c
commit 67c99283d8
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
terminatorlib/notebook.py
View File

@ -285,20 +285,22 @@ class Notebook(Container, Gtk.Notebook):
dbg('inserting page at position: %s' % tabpos) dbg('inserting page at position: %s' % tabpos)
self.insert_page(widget, None, tabpos) self.insert_page(widget, None, tabpos)
child_widgets = [widget]
child_widgets .extend(enumerate_descendants(widget)) if maker.isinstance(widget, 'Terminal'):
containers, objects = ([], [widget])
else:
containers, objects = enumerate_descendants(widget)
term_widget = None term_widget = None
for term_widget in child_widgets: for term_widget in objects:
if maker.isinstance(term_widget, 'Terminal'): if maker.isinstance(term_widget, 'Terminal'):
self.set_last_active_term(term_widget.uuid) self.set_last_active_term(term_widget.uuid)
self.set_tab_label(term_widget, label)
# self.set_tab_label_packing(term_widget, not self.config['scroll_tabbar'], # FIXME FOR GTK3 how to do it there?
# not self.config['scroll_tabbar'],
# Gtk.PACK_START)
break break
self.set_tab_label(widget, label)
self.child_set_property(widget, 'tab-expand', True) self.child_set_property(widget, 'tab-expand', True)
self.child_set_property(widget, 'tab-fill', True) self.child_set_property(widget, 'tab-fill', True)
self.set_tab_reorderable(widget, True) self.set_tab_reorderable(widget, True)
self.set_current_page(tabpos) self.set_current_page(tabpos)
self.show_all() self.show_all()