Description of problem: I have some 8 tabs open in a gnome-terminal, and it is hard to see which one is active at the moment. Besides, the bar with the tab names is a bit to high for my taste. Version-Release number of selected component (if applicable): gnome-terminal-2.33.4-2.fc15.x86_64 How reproducible: Always... Steps to Reproduce: 1. Open some tabs, switch among them. Now, which one is active? 2. 3. Actual results: Expected results: Additional info:
Fixed now (at least it is easy to distinguish in Gnome shell)