microscopic fonts in TL guis
P.Taylor at Hellenic-Institute.Uk
Sat Apr 25 10:36:58 CEST 2020
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the tex-live