I'm taking a slightly different route with this now. I'm going to drop
all the changes to the profile, and instead make it possible to control
the visual appearance of the terminal from the GTK theme. It's already
possible to control the background / text colours from the GTK theme,
but controlling transparency recquires a small patch to gnome-terminal
to expose this property. I've already got a working prototype here now,
but it just needs a little bit of refining tomorrow.
This will then just behave exactly like any other change in the default
theme (new installs / upgrades) and is a much nicer solution than what
we have currently
** Changed in: gnome-terminal (Ubuntu Lucid)
Status: Triaged => In Progress
--
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
