From b0b8b576f6dad9c62e6e8fa3e841f251f6c60494 Mon Sep 17 00:00:00 2001 From: Stephen Boddy Date: Thu, 1 Aug 2013 17:30:18 +0200 Subject: [PATCH] A little adjustment to prevent messy tabs when tabs are not homogenous --- terminatorlib/preferences.glade | 19 ++++++++----------- terminatorlib/prefseditor.py | 7 +++++++ 2 files changed, 15 insertions(+), 11 deletions(-) diff --git a/terminatorlib/preferences.glade b/terminatorlib/preferences.glade index 8d73bb32..2ea00344 100644 --- a/terminatorlib/preferences.glade +++ b/terminatorlib/preferences.glade @@ -810,8 +810,8 @@ Tabs scroll buttons - 6 - 7 + 7 + 8 @@ -820,16 +820,14 @@ True False False - 0 - 0.55000001192092896 True 1 2 - 6 - 7 + 7 + 8 GTK_EXPAND GTK_EXPAND @@ -841,8 +839,8 @@ Tabs homogeneous - 7 - 8 + 6 + 7 @@ -851,7 +849,6 @@ True False False - 0 True True @@ -859,8 +856,8 @@ 1 2 - 7 - 8 + 6 + 7 GTK_EXPAND GTK_EXPAND diff --git a/terminatorlib/prefseditor.py b/terminatorlib/prefseditor.py index b0843a9e..9c1cf150 100755 --- a/terminatorlib/prefseditor.py +++ b/terminatorlib/prefseditor.py @@ -567,7 +567,14 @@ class PrefsEditor: def on_homogeneous_toggled(self, widget): """homogeneous_tabbar setting changed""" + guiget = self.builder.get_object self.config['homogeneous_tabbar'] = widget.get_active() + scroll_toggled = guiget('scrolltabbarcheck') + if widget.get_active(): + scroll_toggled.set_sensitive(True) + else: + scroll_toggled.set_active(True) + scroll_toggled.set_sensitive(False) self.config.save() def on_scroll_toggled(self, widget):