A workaround (theme tweak) for gnome-terminal:
http://askubuntu.com/q/355297/73968 http://askubuntu.com/q/40332/73968
A workaround (theme tweak) for gnome-terminal:
http:// askubuntu. com/q/355297/ 73968 askubuntu. com/q/40332/ 73968
http://