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
Desktop Bugs, which is a bug contact for gnome-terminal in ubuntu.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
