You might want to report this bug upstream as well -- or search to see if it has been reported. I looked very quickly to see if the bug was reported, but I don't see it.
http://bugzilla.gnome.org/buglist.cgi?product=gnome- terminal&bug_status=NEW&bug_status=REOPENED&bug_status=ASSIGNED&bug_status=UNCONFIRMED ** Summary changed: - New profile preferences greyed out + Creating new profile results in greyed out preferences on first view ** Summary changed: - Creating new profile results in greyed out preferences on first view + Creating new profile results in grayed out preferences on first view -- Creating new profile results in grayed out preferences on first view https://bugs.launchpad.net/bugs/381714 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
