GNOME Bugzilla – Bug 542588
inline tab title change by editing the tab label
Last modified: 2014-04-27 16:24:10 UTC
I often have many tabs open, and I have to name them to keep them straight. But right now the interaction with tabs to rename them I feel is overly convoluted. Currently, you have to go through the menu system to 'Set title...' and use a dialog. It would be much more natural to interact with the tab directly. For example, either double-clicking, shift-clicking, right-clicking a tab would allow you to edit the title in-place. Gnumeric and many other programs have this behavior. Other information:
Thanks for taking the time to report this bug. This particular bug has already been reported into our bug tracking system, but we are happy to tell you that the problem has already been fixed. It should be solved in the next software version. *** This bug has been marked as a duplicate of 153521 ***
That is an improvement, and one I appreciate, but not what I was looking for with this filing. There is definitely less menuage in the way now, but you still have an unnecessary dialog. Compare with gnumeric's in-place tab renaming. The GUI stays out of the way of your task. That is what I am talking about.
Retitling then.
I'd also like to be able to easily edit a tab's name in-place. One of my co-workers uses terminator mainly for this feature, since he regularly has 10-20 tabs open in a single window. It'd be really hard to keep them straight if all of them said "mysql" or "~ on ..." (truncated due to so many tabs). Any chance this is easier to implement now with recent versions of GTK?
Wontfix. Simply use escape sequences to change the title.
Can you give an example of using escape sequences to set the title? It'll be helpful for me and anyone else who stumbles on this big by Google. I'm also not sure I agree that this will be easy enough. Im just coming off a stint of 2 months using Iterm on OSX, and it also offered tab renaming by double-click. It seems like a fairly trivial think to support, especially since the functionality is already in a profile preferences dialog somewhere.
printf "\033]0;%s\007" title