From 8e96d0eaa4093234bedf51d26dda69f4fc946d78 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Mon, 3 Nov 2008 23:14:29 +0000 Subject: [PATCH] handle int HScale values and remove a debugging print --- terminatorlib/prefs_profile.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/terminatorlib/prefs_profile.py b/terminatorlib/prefs_profile.py index ee028d9e..63f35e61 100644 --- a/terminatorlib/prefs_profile.py +++ b/terminatorlib/prefs_profile.py @@ -227,6 +227,9 @@ class ProfileEditor: value = widget.get_font_name() elif isinstance (widget, gtk.HScale): value = widget.get_value() + digits = widget.get_digits() + if digits == 0: + value = int(value) elif isinstance (widget, gtk.ColorButton): value = widget.get_color().to_string() elif isinstance (widget, gtk.FileChooserButton): @@ -236,7 +239,6 @@ class ProfileEditor: children = widget.get_children() children.reverse() for child in children: - print child if value != '': value = value + ':' value = value + child.get_color().to_string()