##// END OF EJS Templates
Fix set_term_title when xterm represent itself as xterm*, not just xterm and xterm-color.
Lars Solberg -
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