makes titlebars behave correctly even with extreme_tabs = True

This commit is contained in:
Emmanuel Bretelle 2008-05-27 00:42:19 +01:00
parent 049582453a
commit 485cdf545e
1 changed files with 4 additions and 0 deletions

View File

@ -1175,6 +1175,8 @@ class Terminator:
parent.add(notebook) parent.add(notebook)
notebook.set_tab_reorderable(child,True) notebook.set_tab_reorderable(child,True)
notebooklabel = "" notebooklabel = ""
if isinstance(child, TerminatorTerm):
child._titlebox.hide()
if widget._vte.get_window_title() is not None: if widget._vte.get_window_title() is not None:
notebooklabel = widget._vte.get_window_title() notebooklabel = widget._vte.get_window_title()
notebook.set_tab_label_text(child, notebooklabel) notebook.set_tab_label_text(child, notebooklabel)
@ -1308,6 +1310,8 @@ class Terminator:
else: else:
gdparent.remove(parent) gdparent.remove(parent)
gdparent.pack2(sibling) gdparent.pack2(sibling)
if isinstance(sibling, TerminatorTerm) and sibling.conf.titlebars and sibling.conf.extreme_tabs:
sibling._titlebox.show()
parent.destroy() parent.destroy()
if index == 0: index = 1 if index == 0: index = 1
self.term_list[index - 1]._vte.grab_focus () self.term_list[index - 1]._vte.grab_focus ()