Ubuntu
gnome-terminal package

  1. Bug #620672
  2. Comment #2

Comment 2 for bug 620672

Revision history for this message
Pedro Villavicencio (pedro) wrote :

Looks like an upstream issue, we don't customize the gnome-terminal besides including a new theme.