[gnome-builder] settings: add new fields to editor schema
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] settings: add new fields to editor schema
- Date: Thu, 16 Oct 2014 06:12:52 +0000 (UTC)
commit e0e0c9aad3743f47786df856e3e877949c0c0b00
Author: Christian Hergert <christian hergert me>
Date: Wed Oct 15 23:11:26 2014 -0700
settings: add new fields to editor schema
data/org.gnome.builder.editor.gschema.xml.in | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/data/org.gnome.builder.editor.gschema.xml.in b/data/org.gnome.builder.editor.gschema.xml.in
index c89de51..930ebd2 100644
--- a/data/org.gnome.builder.editor.gschema.xml.in
+++ b/data/org.gnome.builder.editor.gschema.xml.in
@@ -16,5 +16,11 @@
<summary>Enable auto-completion of words in document.</summary>
<description>If enabled, words within the current document will be available for
auto-completion.</description>
</key>
+ <key name="font-name" type="s">
+ <default>"Monospace 11"</default>
+ </key>
+ <key name="style-scheme" type="s">
+ <default>"tango"</default>
+ </key>
</schema>
</schemalist>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]