Update tab bar position when it is changed, if apropriate

This commit is contained in:
Chris Jones 2010-04-01 23:15:42 +01:00
parent fba64128e6
commit efafd65221
2 changed files with 11 additions and 0 deletions

View File

@ -52,6 +52,10 @@ class Notebook(Container, gtk.Notebook):
self.set_tab_pos(pos) self.set_tab_pos(pos)
self.set_show_tabs(not self.config['hide_tabbar']) 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): def create_layout(self, layout):
"""Apply layout configuration""" """Apply layout configuration"""
if not layout.has_key('children'): if not layout.has_key('children'):

View File

@ -239,6 +239,13 @@ class Terminator(Borg):
# Reparse our keybindings # Reparse our keybindings
self.keybindings.configure(self.config['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): def create_group(self, name):
"""Create a new group""" """Create a new group"""
if name not in self.groups: if name not in self.groups: