From 7a06c8631085562cc75205559d930c6c5840109e Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Mon, 11 Jan 2010 10:10:35 +0000 Subject: [PATCH] spinbutton gives us a float, but we should store an int --- terminatorlib/prefseditor.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/terminatorlib/prefseditor.py b/terminatorlib/prefseditor.py index 2e199d70..5e8e3c7e 100755 --- a/terminatorlib/prefseditor.py +++ b/terminatorlib/prefseditor.py @@ -540,7 +540,7 @@ class PrefsEditor: self.config['scrollbar_position'] = value # Scrollback lines widget = guiget('scrollback-lines-spinbutton') - self.config['scrollback_lines'] = widget.get_value() + self.config['scrollback_lines'] = int(widget.get_value()) # Scroll on output widget = guiget('scroll-on-output-checkbutton') self.config['scroll_on_output'] = widget.get_active()