Idea: Tabs have an indicator that allows quickly distinguishing different types of tabs
When a user has a bunch of tabs open, it would be useful to narrow down searching for the right tab based on things like A) ssh host B) Toolbox container C) Python virtual environment. For browsers, this is the main function of favicons - if you can't find the right tab by favicon, you can at least get close.
I've been using a rough version of this by hacking gnome-terminal to support Pango markup for tab titles.
The three tabs are: a) Python virtual environment for the "flatpak-indexer" project b) F33 toolbox container in a gtk/ directory C) Host terminal in my home directory. Note the use of the same visual language in headerbar, tab title, and prompt.
While nobody would call this pretty, I have found it pretty effective at keeping myself organized.
Some potential elaborations:
- Instead of showing "flatpak-indexer", show a circled (FI)
- Pick colors for the emblem based on a hash of "flatpak-indexer"
- Allow the user to select an emoji or arbitrary icon for a project with a dot-file in terminal preferences or with a dot file in the directory.