diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2015-08-12 14:03:47 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2015-08-13 13:58:10 +0200 |
| commit | ce21c31af563bc669085cb1a0a711f58f40c8231 (patch) | |
| tree | 18a88fb3de5b3ae5fc62397d65a497f2c1449a9a /grc/gui/Preferences.py | |
| parent | d3d6a40ce979d8dc2dff1dbb23aa1873bad45695 (diff) | |
grc: add warning for invalid xterm setting (fixes #828)
Diffstat (limited to 'grc/gui/Preferences.py')
| -rw-r--r-- | grc/gui/Preferences.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/grc/gui/Preferences.py b/grc/gui/Preferences.py index ddffe88163..a5a7fa91b5 100644 --- a/grc/gui/Preferences.py +++ b/grc/gui/Preferences.py @@ -114,3 +114,6 @@ def reports_window_position(pos=None): def blocks_window_position(pos=None): return entry('blocks_window_position', pos, default=-1) or 1 + +def xterm_missing(cmd=None): + return entry('xterm_missing', cmd, default='INVALID_XTERM_SETTING') |