summaryrefslogtreecommitdiffstats
path: root/plugins/pythonconsole/org.gnome.gedit.plugins.pythonconsole.gschema.xml
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/pythonconsole/org.gnome.gedit.plugins.pythonconsole.gschema.xml')
-rw-r--r--plugins/pythonconsole/org.gnome.gedit.plugins.pythonconsole.gschema.xml30
1 files changed, 30 insertions, 0 deletions
diff --git a/plugins/pythonconsole/org.gnome.gedit.plugins.pythonconsole.gschema.xml b/plugins/pythonconsole/org.gnome.gedit.plugins.pythonconsole.gschema.xml
new file mode 100644
index 0000000..0a29031
--- /dev/null
+++ b/plugins/pythonconsole/org.gnome.gedit.plugins.pythonconsole.gschema.xml
@@ -0,0 +1,30 @@
+<schemalist gettext-domain="gedit">
+ <schema id="org.gnome.gedit.plugins.pythonconsole" path="/org/gnome/gedit/plugins/pythonconsole/">
+ <key name="command-color" type="s">
+ <default>'#314e6c'</default>
+ <summary>Command Color Text</summary>
+ <description>The command color text</description>
+ </key>
+ <key name="error-color" type="s">
+ <default>'#990000'</default>
+ <summary>Error Color Text</summary>
+ <description>The error color text</description>
+ </key>
+ <key name="use-system-font" type="b">
+ <default>true</default>
+ <summary>Whether to use the system font</summary>
+ <description>
+ If true, the terminal will use the desktop-global standard
+ font if it’s monospace (and the most similar font it can
+ come up with otherwise).
+ </description>
+ </key>
+ <key name="font" type="s">
+ <default>'Monospace 10'</default>
+ <summary>Font</summary>
+ <description>
+ A Pango font name. Examples are “Sans 12” or “Monospace Bold 14”.
+ </description>
+ </key>
+ </schema>
+</schemalist>