Comment 7 for bug 532511

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