Immutable user-defined tab title prefix feature
This request resembles a feature dropped at or after version 3.14 of gnome-terminal: capability to define a user-defined part of title shown for a terminal tab. I.e., the title would look like "[prefix] [program-defined part]" where "prefix" can only be defined through using a specific profile and/or manual user interaction/via command-line parameter.
Reasoning:
- proposed defining titles via ASCII escape codes is volatile (there's no way to define an immutable title part; a program running in the tab can change the title at any moment)
- if terminal is run in non-interactive mode, it might be not possible to define titles
The tab titles helped greatly to navigate across large sets of tabs/windows.
Edited by Ghost User