diff options
Diffstat (limited to 'plugins/pythonconsole/org.gnome.gedit.plugins.pythonconsole.gschema.xml')
-rw-r--r-- | plugins/pythonconsole/org.gnome.gedit.plugins.pythonconsole.gschema.xml | 30 |
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> |