microscopic fonts in TL guis

[Zdenek Wagner]

č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
http://ttsm.icpf.cas.cz/team/wagner.shtml
http://icebearsoft.euweb.cz