microscopic fonts in TL guis

Thu Apr 23 16:29:16 CEST 2020

Zdeněk Wagner wrote:

> 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.

Excellent idea, +:= "Ctrl·0" to restore to system default.

/Philip Taylor/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/tex-live/attachments/20200423/239b83c3/attachment.html>