Skip to content

Feature request: Rename tab by right-clicking on it (or something)

This is a feature request.

Make tab titles editable from the UI. At the moment we only have partial control over tab titles. We can disable the escape sequence setting the names (Preferences > Terminal > Terminal may set tab/window title) but then we don't have a way to change them ourselves.

Use case: name tabs things like "dev", "qa", "prod" and turn off the option to let the shell be able to do so via an escape sequence. (The Linux servers I ssh into all rename tabs by default. The names are all like "thundt@myMachine_23412" which is less than useful. I don't want to disable it because other people share the same accounts. So, I can disable the tab-setting altogether but then I just have blank tabs; also less than useful.)

Thanks for filing an issue! Please answer the questions below so I can help you.

Detailed steps to reproduce the problem: 1. 2. 3.

What happened:

What should have happened: