diff options
Diffstat (limited to 'grc/gui/Preferences.py')
| -rw-r--r-- | grc/gui/Preferences.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/grc/gui/Preferences.py b/grc/gui/Preferences.py index b15fb9738b..a6bd0d6603 100644 --- a/grc/gui/Preferences.py +++ b/grc/gui/Preferences.py @@ -95,3 +95,9 @@ def blocks_window_visibility(visible=None): 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 |