Cambio en opciones gnome-terminal.