From efafd652210c612eadf29ef36f9c49017591a060 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Thu, 1 Apr 2010 23:15:42 +0100 Subject: [PATCH] Update tab bar position when it is changed, if apropriate --- terminatorlib/notebook.py | 4 ++++ terminatorlib/terminator.py | 7 +++++++ 2 files changed, 11 insertions(+) diff --git a/terminatorlib/notebook.py b/terminatorlib/notebook.py index 724dc04b..5ca87704 100755 --- a/terminatorlib/notebook.py +++ b/terminatorlib/notebook.py @@ -52,6 +52,10 @@ class Notebook(Container, gtk.Notebook): self.set_tab_pos(pos) self.set_show_tabs(not self.config['hide_tabbar']) + for tab in xrange(0, self.get_n_pages()): + label = self.get_tab_label(self.get_nth_page(tab)) + label.update_angle() + def create_layout(self, layout): """Apply layout configuration""" if not layout.has_key('children'): diff --git a/terminatorlib/terminator.py b/terminatorlib/terminator.py index 24459b41..46909f3e 100755 --- a/terminatorlib/terminator.py +++ b/terminatorlib/terminator.py @@ -239,6 +239,13 @@ class Terminator(Borg): # Reparse our keybindings self.keybindings.configure(self.config['keybindings']) + # Update tab position if appropriate + maker = Factory() + for window in self.windows: + child = window.get_child() + if maker.isinstance(child, 'Notebook'): + child.configure() + def create_group(self, name): """Create a new group""" if name not in self.groups: