Window and tab titles are changed by emitting an unprintable escape sequence to the terminal. These escape sequences do not play nicely with the TAB character on multiple terminal emulators--they create un-deletable characters on the first line after command execution. Sending "\r" after changing the window and tab titles allows all characters on the first line to be deleted. Fixes #11314master
parent
4181e8a2cc
commit
3dd83a22a1
1 changed files with 2 additions and 0 deletions
Loading…
Reference in new issue