()
| 78 | |
| 79 | |
| 80 | def _restore_term_title_xterm(): |
| 81 | # Make sure the restore has at least one accompanying set. |
| 82 | global _xterm_term_title_saved |
| 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 | |
| 90 | sys.stdout.write('\033[23;0t') |
| 91 | _xterm_term_title_saved = False |
| 92 | |
| 93 | |
| 94 | if os.name == 'posix': |