Ticket #487 (closed enhancement: duplicate)
Improve Tab renaming
| Reported by: | reg | Owned by: | somebody |
|---|---|---|---|
| Priority: | trivial | Milestone: | 0.5.0 |
| Component: | guake | Version: | |
| Keywords: | Cc: |
Description
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)
