Implement support for tab title renaming from UI
By oleg.atamane... on February 18, 2014 16:16 (imported from Google Code)
Currently is possible to set tab title using the following workaround:
- export DISABLE_AUTO_TITLE="true"
- Uncheck everything in Prefs -> Appearance -> Windows & Tab titles
- Execute from shell: echo -e "\033];<new title>\007"
It would be great if it will be possible to rename tab from tab context menu.
Thank you.