diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 14:32:59 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 14:32:59 +0000 |
| commit | adb934701975f6b0214475d1a8d0d1ce727b9d4d (patch) | |
| tree | 5688c745d10b64c8856586864ec416a6bdae881d /plugins/externaltools/org.gnome.gedit.plugins.externaltools.gschema.xml | |
| parent | Initial commit. (diff) | |
| download | gedit-upstream.tar.xz gedit-upstream.zip | |
Adding upstream version 3.38.1.upstream/3.38.1upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'plugins/externaltools/org.gnome.gedit.plugins.externaltools.gschema.xml')
| -rw-r--r-- | plugins/externaltools/org.gnome.gedit.plugins.externaltools.gschema.xml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/plugins/externaltools/org.gnome.gedit.plugins.externaltools.gschema.xml b/plugins/externaltools/org.gnome.gedit.plugins.externaltools.gschema.xml new file mode 100644 index 0000000..d760de2 --- /dev/null +++ b/plugins/externaltools/org.gnome.gedit.plugins.externaltools.gschema.xml @@ -0,0 +1,20 @@ +<schemalist gettext-domain="gedit"> + <schema id="org.gnome.gedit.plugins.externaltools" path="/org/gnome/gedit/plugins/externaltools/"> + <key name="use-system-font" type="b"> + <default>true</default> + <summary>Whether to use the system font</summary> + <description> + If true, the external tools 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> |