diff options
| author | Jonathan Slenders <jonathan@slenders.be> | 2016-01-21 21:15:57 +0100 |
|---|---|---|
| committer | Jonathan Slenders <jonathan@slenders.be> | 2016-01-21 21:15:57 +0100 |
| commit | 260f50e846cc946fea34e0da6e5523e4893b0bdd (patch) | |
| tree | 76b36cf721470fd70811e5f535bae8cb86c34fab | |
| parent | 136082b0d99410d08c2c51935f78b609481f97f6 (diff) | |
Don't set the terminal title in eterm.
| -rw-r--r-- | prompt_toolkit/terminal/vt100_output.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prompt_toolkit/terminal/vt100_output.py b/prompt_toolkit/terminal/vt100_output.py index 2473f81d..1e99ced5 100644 --- a/prompt_toolkit/terminal/vt100_output.py +++ b/prompt_toolkit/terminal/vt100_output.py @@ -375,7 +375,7 @@ class Vt100_Output(Output): """ Set terminal title. """ - if self.term != 'linux': # Not supported by the Linux console. + if self.term not in ('linux', 'eterm-color'): # Not supported by the Linux console. self.write_raw('\x1b]2;%s\x07' % title.replace('\x1b', '').replace('\x07', '')) def clear_title(self): |