itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

gtkscale insists on getting float values

This commit is contained in:
Chris Jones 2010-01-09 22:27:56 +00:00
parent 2b7be76004
commit 2cc76de609
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
terminatorlib/prefseditor.py
View File

@ -74,7 +74,7 @@ class PrefsEditor:
# Terminal separator size # Terminal separator size
termsepsize = self.config['handle_size'] termsepsize = self.config['handle_size']
widget = guiget('handlesize') widget = guiget('handlesize')
widget.set_value(termsepsize) widget.set_value(float(termsepsize))
# Window geometry hints # Window geometry hints
geomhint = self.config['geometry_hinting'] geomhint = self.config['geometry_hinting']
widget = guiget('wingeomcheck') widget = guiget('wingeomcheck')
@ -292,7 +292,7 @@ class PrefsEditor:
widget.set_active(self.config['scroll_background']) widget.set_active(self.config['scroll_background'])
# Background shading # Background shading
widget = guiget('background_darkness_scale') widget = guiget('background_darkness_scale')
widget.set_value(self.config['background_darkness']) widget.set_value(float(self.config['background_darkness']))
if self.config['background_type'] == 'solid': if self.config['background_type'] == 'solid':
guiget('solid-radiobutton').set_active(True) guiget('solid-radiobutton').set_active(True)