Show More
@@ -80,7 +80,13 b' def _set_term_title_xterm(title):' | |||||
80 | def _restore_term_title_xterm(): |
|
80 | def _restore_term_title_xterm(): | |
81 | # Make sure the restore has at least one accompanying set. |
|
81 | # Make sure the restore has at least one accompanying set. | |
82 | global _xterm_term_title_saved |
|
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 | sys.stdout.write('\033[23;0t') |
|
90 | sys.stdout.write('\033[23;0t') | |
85 | _xterm_term_title_saved = False |
|
91 | _xterm_term_title_saved = False | |
86 |
|
92 |
General Comments 0
You need to be logged in to leave comments.
Login now