[anjuta] Rename key to indicate use of default terminal profile.



commit 87fe887ca61e0bf4f6492b883c080a5b53ffa800
Author: Tristian Celestin <tristian celestin outlook com>
Date:   Thu Feb 27 23:06:45 2014 -0500

    Rename key to indicate use of default terminal profile.

 .../org.gnome.anjuta.terminal.gschema.xml.in       |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/terminal/org.gnome.anjuta.terminal.gschema.xml.in 
b/plugins/terminal/org.gnome.anjuta.terminal.gschema.xml.in
index 4c38b3a..3f151b1 100644
--- a/plugins/terminal/org.gnome.anjuta.terminal.gschema.xml.in
+++ b/plugins/terminal/org.gnome.anjuta.terminal.gschema.xml.in
@@ -1,6 +1,6 @@
 <schemalist>
        <schema id="org.gnome.anjuta.terminal" path="/org/gnome/anjuta/">
-               <key name="terminal-default-profile" type="b">
+               <key name="use-default-profile" type="b">
                        <default>true</default>
                </key>
        </schema>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]