microscopic fonts in TL guis

Zdenek Wagner zdenek.wagner at gmail.com
Thu Apr 23 16:18:38 CEST 2020

čt 23. 4. 2020 v 16:01 odesílatel Philip Taylor
<P.Taylor at hellenic-institute.uk> napsal:
> Siep Kroonenberg wrote:
> 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.
Just a suggestion: Firefox offers shortcuts Ctrl+ and Ctrl-. Could
such shortcuts be implemented? If someone sees the fonts really
microscopic, it might be difficult to search menu options but keyboard
is available always and users might know these shortcuts.
> 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)
> Philip Taylor

Zdeněk Wagner

More information about the tex-live mailing list.