diff options
Diffstat (limited to 'grc/gui/Preferences.py')
| -rw-r--r-- | grc/gui/Preferences.py | 23 |
1 files changed, 7 insertions, 16 deletions
diff --git a/grc/gui/Preferences.py b/grc/gui/Preferences.py index a6bd0d6603..1d6675da32 100644 --- a/grc/gui/Preferences.py +++ b/grc/gui/Preferences.py @@ -84,20 +84,11 @@ def blocks_window_position(pos=None): try: return _config_parser.getint('main', 'blocks_window_position') or 1 #greater than 0 except: return -1 -def reports_window_visibility(visible=None): - if visible is not None: _config_parser.set('main', 'reports_window_visible', visible) +def bool_entry(key, active=None, default=True): + if active is not None: + _config_parser.set('main', key, active) else: - try: return _config_parser.getboolean('main', 'reports_window_visible') - except: return True - -def blocks_window_visibility(visible=None): - if visible is not None: _config_parser.set('main', 'blocks_window_visible', visible) - else: - try: return _config_parser.getboolean('main', 'blocks_window_visible') - except: return True - -def scroll_lock(visible=None): - if visible is not None: _config_parser.set('main', 'scroll_lock', visible) - else: - try: return _config_parser.getboolean('main', 'scroll_lock') - except: return True + try: + return _config_parser.getboolean('main', key) + except: + return default
\ No newline at end of file |