/usr/share/glib-2.0/schemas/org.gnome.gedit.plugins.externaltools.gschema.xml is in gedit-common 3.4.1-0ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | <?xml version="1.0" encoding="UTF-8"?>
<schemalist>
<schema path="/org/gnome/gedit/plugins/externaltools/" id="org.gnome.gedit.plugins.externaltools" gettext-domain="gedit">
<key type="b" name="use-system-font">
<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 type="s" name="font">
<default>'Monospace 10'</default>
<summary>Font</summary>
<description>A Pango font name. Examples are "Sans 12" or "Monospace Bold 14".</description>
</key>
</schema>
</schemalist>
|