microscopic fonts in TL guis

Philip Taylor P.Taylor at Hellenic-Institute.Uk
Tue Apr 21 14:36:15 CEST 2020

Siep Kroonenberg wrote:

> Both the tcl gui installer and tlshell can now resize fonts on the
> fly. In addition, gui language can now also be changed on the fly.
> In tlshell this can be found in the options menu, in the installer
> in the new gui menu.

Could not see this option. Siep. after :

> C:\Windows\system32>tlmgr --repository=ftp://tug.org/texlive/tlcritical update -
> -self
> tlmgr.pl: package repository ftp://tug.org/texlive/tlcritical (not verified: gpg
>  unavailable)
> tlmgr.pl: saving backups to C:/TeX/Live/2020/tlpkg/backups
> tlmgr.pl: Preparing TeX Live infrastructure update...
> tlmgr.pl: Backup option not implemented for infrastructure update.
> TeX Live infrastructure update in progress ...
> Detailed command logging to "C:\TeX\Live\2020\temp\update-self.log"
> self update: texlive.infra (54745 -> 54790)
> Infrastructure update finished successfully.
> You may now close this window.

/Philip Taylor/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/tex-live/attachments/20200421/523d0497/attachment.html>

More information about the tex-live mailing list.