From ce21c31af563bc669085cb1a0a711f58f40c8231 Mon Sep 17 00:00:00 2001
From: Sebastian Koslowski <koslowski@kit.edu>
Date: Wed, 12 Aug 2015 14:03:47 +0200
Subject: grc: add warning for invalid xterm setting (fixes #828)
---
grc/gui/Preferences.py | 3 +++
1 file changed, 3 insertions(+)
(limited to 'grc/gui/Preferences.py')
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')
--
cgit v1.2.3