<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:20200423104631.GA1409@bitmuis.nl">

      <pre wrap="">As I wrote to the tex-live list, font size in tlshell is now

scalable via the options menu.

Additionally: I just found out that Tcl/Tk responds to the value of

Xft.dpi in ~/.Xresources, at least on myi ubuntu 18.04 system, which

has only a window manager (fvwm), and no desktop.

</pre>

    </blockquote>

    <br>

    I am pleased to be able to report that Options / GUI font scaling /

    <scale factor> appears to work as intended under Windows-7

    Enterprise (64-bit)<br>

    Philip Taylor<br>

  </body>

</html>