Correctly write and restore the console title on the stack (fixes #1782)

This commit is contained in:
Jaime Marquínez Ferrándiz 2013-11-18 16:35:41 +01:00
parent 4113e6ab56
commit efd6c574a2

View file

@ -217,13 +217,15 @@ def save_console_title(self):
if not self.params.get('consoletitle', False): if not self.params.get('consoletitle', False):
return return
if 'TERM' in os.environ: if 'TERM' in os.environ:
write_string(u'\033[22t', self._screen_file) # Save the title on stack
write_string(u'\033[22;0t', self._screen_file)
def restore_console_title(self): def restore_console_title(self):
if not self.params.get('consoletitle', False): if not self.params.get('consoletitle', False):
return return
if 'TERM' in os.environ: if 'TERM' in os.environ:
write_string(u'\033[23t', self._screen_file) # Restore the title from stack
write_string(u'\033[23;0t', self._screen_file)
def __enter__(self): def __enter__(self):
self.save_console_title() self.save_console_title()