GNOME Bugzilla – Bug 83265
Show screen number in tab title
Last modified: 2021-06-10 14:31:09 UTC
This is a suggestion from our users: To show in the tab title the number of the screen (when multiple screens opened in a gnome-terminal). It helps to identify each screen, and allow easily change with the key accels (if you see the last terminal has a [4] in the title, you press alt+4). I'm attaching the patch
Created attachment 8790 [details] [review] Patch to show screen number in the title
Another place where we could use a comprehensive MDI recommendation from UI team for Galeon, xchat, terminal, etc. (disclaimer: maybe it already exists) This change isn't clearly right to me so I want to keep the issue open but not apply the change immediately.
There's no such spec yet, but a few ideas were also mentioned in in bug #72101.
*** Bug 97581 has been marked as a duplicate of this bug. ***
Does this mythical `comprehensive MDI recommendation from UI team' exist or has it been discussed? There are quite a few bugs related to that, which are essentially in need of direction... As for this particular one bug, I think a better solution than the one proposed above would be to allow %d in the profile's `initial title' with the obvious interpretation.
I would also like to see this option. It bodes well that I was able to find this pre-existing RFE in just a few moments. If this feature was an option that could be disabled/enabled via preferences, that would be good too. Great job on gnome-terminal!
This option would be great. Most of my tabs are always named "gnome-terminal" :/
Created attachment 60835 [details] [review] Replace %d in a terminal's title with its position in the notebook Here's a patch which implements the behaviour suggested above about replacing %d with the tab number.
Patch looks good.
Okay to commit, then?
No, please wait for the gnome-terminal maintainer, who is Guilherme de S. Pastore.
I fail to see the point of the patch. I mean, isn't it pretty obvious that that the third tab is number 3, just by counting them ? Also, if you reorder tabs, or drag them between terminals, their position changes, which will lead to title changes, and thus defeat any mnemonic value these numbers could have...
I do have this problem when I've got like 10 tabs that I keep trying say 6, 7, 8, until I find the tab I'm looking for. So yes, counting works, but is not the most efficient way.
Patches don't apply anymore; setting patch status.
-- GitLab Migration Automatic Message -- This bug has been migrated to GNOME's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-terminal/-/issues/1498.