diff options
author | Wade Brainerd <wadetb@gmail.com> | 2009-03-27 22:03:33 (GMT) |
---|---|---|
committer | Wade Brainerd <wadetb@gmail.com> | 2009-03-27 22:03:33 (GMT) |
commit | dd980d70fc9e1d0264652ed56ac2aea7d860432e (patch) | |
tree | 7c3e2bbc093019c4eb40a01250b16ba45f2b75f7 | |
parent | 8a9c3543510e0b71d9e782f15a5d69d263a0bd6a (diff) |
Fix exception when starting with no terminalrc.
-rw-r--r-- | terminal.py | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/terminal.py b/terminal.py index af0e422..913652f 100644 --- a/terminal.py +++ b/terminal.py @@ -332,12 +332,7 @@ class TerminalActivity(sugar.activity.activity.Activity): else: return conf.get('terminal', var) else: - if isinstance(default, bool): - conf.setboolean('terminal', var, default) - elif isinstance(default, int): - conf.setint('terminal', var, default) - else: - conf.set('terminal', var, default) + conf.set('terminal', var, default) return default |