<?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>