diff options
| author | Seth Hitefield <sdhitefield@gmail.com> | 2014-06-05 14:23:50 -0400 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-06-13 11:04:07 +0200 |
| commit | 8949a9e00e989e98abf334f839b7a4e91a2339e4 (patch) | |
| tree | 1b372500379afbf692cb2e171b080341d55bbece /grc/gui/Preferences.py | |
| parent | 34ee3b7d45678dfcca221d03ca6d796a46e41288 (diff) | |
grc: Fixed scroll functionality in GRC.
Also added clear and scrollback capability for the logging window
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 |