Should take any modified settings and write them as the default
settings. I do not remember if this actually worked. The intent was so
that, when a terminal was openned using a different profile, those
preferences would become the defaults for new actions. I don't remember
the exact impetus for this either. No longer using gnome-terminal, so
I'm just storing this for posterity.
