Linux puskom-ProLiant-DL385-Gen10 5.4.0-150-generic #167~18.04.1-Ubuntu SMP Wed May 24 00:51:42 UTC 2023 x86_64

//usr/share/glib-2.0/schemas/org.gnome.gedit.plugins.externaltools.gschema.xml

 <schemalist>
  <schema gettext-domain="gedit" 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>