3 ms·
You can change the tab title with ansi escapes. These days you can use Unicode chars as well, and some have colors, say with a emoji font.
by mixmastamyk 4y ago
You can change the tab title with ansi escapes. These days you can use Unicode chars as well, and some have colors, say with a emoji font.