diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2013-11-23 23:00:06 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2013-11-24 23:07:27 +0100 |
| commit | 4c800c91617ee452987574862d8c0eeadfb7d611 (patch) | |
| tree | 254d8f51481d293bd2e010f98bab48fa409865ea /grc/gui/Preferences.py | |
| parent | a00b94ec4a9949125ddb1711abf49d4d575d290d (diff) | |
grc: switched to ToggleActions; made visibility settings persistent
Diffstat (limited to 'grc/gui/Preferences.py')
| -rw-r--r-- | grc/gui/Preferences.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/grc/gui/Preferences.py b/grc/gui/Preferences.py index ce545cab6a..c315436cae 100644 --- a/grc/gui/Preferences.py +++ b/grc/gui/Preferences.py @@ -84,3 +84,15 @@ def blocks_window_position(pos=None): else: 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) + 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 |