<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html;
      charset=windows-1252">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">Siep Kroonenberg wrote:<br>
      <br>
    </div>
    <blockquote type="cite" cite="mid:20200427185734.GA1326@bitmuis.nl">
      <pre wrap="">I can reproduce this on windows, but not on other platforms. I have
not found a remedy.</pre>
    </blockquote>
    <br>
    In what language is TLSHELL written, Siep ?<br>
    <br>
    <br>
    <blockquote type="cite" cite="mid:20200427185734.GA1326@bitmuis.nl">
      <pre wrap="">You are probably aware that you can globally set a larger font size
via the Display control panel applet?</pre>
    </blockquote>
    <br>
    I am indeed, Siep, just as I am aware that by  so doing I prevent
    Microsoft's own <i>Resource Monitor</i> from displaying anything
    other than a black screen !<br>
    <br>
    <blockquote type="cite" cite="mid:20200427185734.GA1326@bitmuis.nl">
      <pre wrap="">The next release of tlshell will once more show the current scale
factor in the scaling menu.</pre>
    </blockquote>
    <br>
    Excellent news :  thank you.<br>
    <i>** Phil.</i><br>
  </body>
</html>