Ubuntu
gnome-terminal package

  1. Bug #771641
  2. Comment #4

Comment 4 for bug 771641

Revision history for this message
MarkJ (marker) wrote :

workaround:
http://askubuntu.com/questions/40332/how-to-make-selected-tab-in-terminal-more-prominent