microscopic fonts in TL guis

[Philip Taylor]

Philip Taylor wrote:

> Excellent news, will report back once available and tested.

OK, updated and appears to work, but now seems to lose focus after each font-size change.  I am running too many applications as I write to know to which application it is ceding focus, so I will need to finish up what I am doing, re-start, and then try with zero, one, two, ... many applications in parallel to see if and when the problem recurs.

One comment in the meantime, however :  having used "Ctrl +", if I then try "Options / GUI font scaling", the currently selected value is not indicated in any way.  Such an indication would (IMHO) be extremely useful.

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