Well, I missed the #if 0 :-).

I have started porting the anjuta terminal plugin to gsettings. Is there a way to apply a specific profile to a terminal through gsettings? There is current code that attempts to do this in the method on_pref_profile_changed in terminal.c, but the referenced key dies not exist.

Created attachment 269755 [details] [review]
Update part of terminal plugin to gsettings

This is an initial stab at converting some of the remaining referenced gconf keys to gsettings. Uncommenting the #if 0 block in ipreferences_merge will cause the profile combo box to display the UUIDs associated with each profile defined in gnome-terminal.

I'm not sure how to proceed further, as I'm uncertain whether gsettings exposes replacement key/value pairs for all the gconf pairs currently referenced.

See gnome-terminal/src/migration.c for how the gsettings keys relate to the previous gconf keys, and gnome-terminal/src/terminal-screen.c:terminal_screen_profile_changed_cb() for how to use those gsettings keys.  Might also be worth copypasting src/terminal-settings-list.[ch] and src/terminal-profiles-list.[ch] which encapsulate working with the gsettings profiles.

Created attachment 270737 [details] [review]
Patch to update terminal plugin to use gsettings profiles

The attached patch does the following:

1. Updates the terminal-plugin gsettings schema to store the last selected profile
2. Updates the terminal-plugin to access profiles using gsettings instead of gconf
3. Updates the preferences UI to display the name and UUID of the selected profile

Created attachment 270757 [details] [review]
Patch to update terminal plugin to use gsettings profiles

Fixed bug that prevented palette from being applied and added name to header

Thank you for you work.

I have committed your patches without any changes except the patch 8 which is the same than the patch 1 and the patch 9 which is already included in another patch.

*** Bug 666403 has been marked as a duplicate of this bug. ***