Show More
@@ -80,7 +80,13 b' def _set_term_title_xterm(title):' | |||
|
80 | 80 | def _restore_term_title_xterm(): |
|
81 | 81 | # Make sure the restore has at least one accompanying set. |
|
82 | 82 | global _xterm_term_title_saved |
|
83 |
|
|
|
83 | if not _xterm_term_title_saved: | |
|
84 | warnings.warn( | |
|
85 | "Expecting xterm_term_title_saved to be True, but is not; will not restore terminal title.", | |
|
86 | stacklevel=1, | |
|
87 | ) | |
|
88 | return | |
|
89 | ||
|
84 | 90 | sys.stdout.write('\033[23;0t') |
|
85 | 91 | _xterm_term_title_saved = False |
|
86 | 92 |
General Comments 0
You need to be logged in to leave comments.
Login now