##// END OF EJS Templates
Merge pull request #2346 from xeor/master...
Bussonnier Matthias -
r8361:e93fd050 merge
parent child Browse files
Show More
@@ -81,7 +81,7 b' def _set_term_title_xterm(title):'
81
81
82 if os.name == 'posix':
82 if os.name == 'posix':
83 TERM = os.environ.get('TERM','')
83 TERM = os.environ.get('TERM','')
84 if (TERM == 'xterm') or (TERM == 'xterm-color'):
84 if TERM.startswith('xterm'):
85 _set_term_title = _set_term_title_xterm
85 _set_term_title = _set_term_title_xterm
86
86
87
87
General Comments 0
You need to be logged in to leave comments. Login now