Ticket #487 (closed enhancement: duplicate)
Improve Tab renaming
|Reported by:||reg||Owned by:||somebody|
Renaming tabs is a bit obnoxious with two different cases:
A. You have use_vte_titles enabled (default) In this case, renaming is useless as the terminal will override tab name everytime.
B. You don't have use_vte_titles. In this case, you're greated with useless names by default but you can rename them.
In means that either you rename all your tabs or you can't rename any.
I believe a lot of people (like me) would want the vte_titles behavior with the ability to rename still.
I wrote a little patch which does just this: * If you rename a tab yourself, it won't be updated. * If you rename it to blank, it will be updated again (reset)