Those are my gconf settings (snippet from ~/.gconf/%gconf-tree.xml) from yesterday's backup.
** Attachment added: "original gconf settings" http://launchpadlibrarian.net/40235420/gnome-terminal.gconf-original.xml -- terminal settings messed up after upgrade due to forced profile change https://bugs.launchpad.net/bugs/532511 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
