Public bug reported:
Binary package hint: gnome-terminal
The change profile option in gnome-terminal works only when accessed via
the menubar. If you right click within the terminal and then select
change profile, the profile will not actually be changed. This is in
the Gutsy pre-release, gnome-terminal 2.18.1-1ubuntu2
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
change profile in gnome-terminal doesn't work
https://bugs.launchpad.net/bugs/133592
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
