[anjuta] Rename key to indicate use of default terminal profile.
- From: Sebastien Granjoux <sgranjoux src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [anjuta] Rename key to indicate use of default terminal profile.
- Date: Sat, 8 Mar 2014 07:18:25 +0000 (UTC)
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]