[anjuta] Point "use default profile" checkbox in terminal preferences ui to renamed gsettings key.

[Sebastien Granjoux <sgranjoux src gnome org>]

commit d4e77977ba26ad78b0a15579d310547889744b2b
Author: Tristian Celestin <tristian celestin outlook com>
Date:   Thu Feb 27 23:22:57 2014 -0500

    Point "use default profile" checkbox in terminal preferences ui to renamed gsettings key.

 plugins/terminal/anjuta-terminal-plugin.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/terminal/anjuta-terminal-plugin.ui b/plugins/terminal/anjuta-terminal-plugin.ui
index 3299a81..f07c65a 100644
--- a/plugins/terminal/anjuta-terminal-plugin.ui
+++ b/plugins/terminal/anjuta-terminal-plugin.ui
@@ -48,7 +48,7 @@
               </packing>
             </child>
             <child>
-              <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:terminal-default-profile">
+              <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:use-default-profile">
                 <property name="label" translatable="yes">Use currently selected profile in GNOME 
terminal</property>
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>