<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>Dear all,</p>
    <p>For some display in the console, for which a monospaced font is
      required, i need to know the name of the system font. Indeed, when
      in the preferences the console's font is set to the <i>Desktop
        font</i>, and when the <i>Desktop font</i> is set to the <i>system's
        font</i>, the <i>system's font</i> is the console's one.</p>
    <p>But i have no idea how to query the name of this font.<br>
      I have tried some property names with <a moz-do-not-send="true"
        href="https://help.scilab.org/docs/6.0.2/en_US/system_getproperty.html">system_getproperty</a>(),
      without success.<br>
    </p>
    <p>fonts=xlfont('AVAILABLE_FONTS') returns all fonts available on
      the system, but does not indicate which is the system's default
      one.<br>
      <br>
      Finally, i have found nothing interesting out of<br>
      <tt>--> unix_w set  // and then getenv()</tt></p>
    <tt> </tt>
    <p>Any idea is welcome.<br>
      Best regards<br>
      <br>
      Samuel<br>
      <br>
    </p>
  </body>
</html>