01-15-2020, 10:24 AM
(01-15-2020, 05:02 AM)RotatingNut Wrote: I don't have any elegant solutions for this problem, but what helped me greatly was when I changed the font size in the "Appearance --> Fonts" menu . Simply going from 10 to 11 points made a huge difference, and I can see how it might remedy what you said a bit. I don't know about other screen settings that might help for the moment.
That's a simple enough solution. I'll give that a try later today. I bet it will make a big difference.