spinbutton gives us a float, but we should store an int

This commit is contained in:
Chris Jones 2010-01-11 10:10:35 +00:00
parent b8aac8874a
commit 7a06c86310

View File

@ -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()