Log in / Register
Ubuntu
gnome-terminal package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #771641
Comment #4
Comment 4 for bug 771641
Revision history for this message
MarkJ (marker)
wrote
on 2011-05-09
:
#4
workaround:
http://
askubuntu.
com/questions/
40332/how-
to-make-
selected-
tab-in-
terminal-
more-prominent
workaround: http://askubuntu.com/questions/40332/how-to-make-selected-tab-in-terminal-more-prominent
workaround: askubuntu. com/questions/ 40332/how- to-make- selected- tab-in- terminal- more-prominent
http://