Thomas Olander

Problem solved now with version 2022.08.04.23.12 (had to download and install it manually). Thanks! Thomas

Same problem here! Thomas

OK, thanks a lot! Yes, I agree it’s probably a better solution overall to ignore diacritics. Thomas

Thanks so much! Thomas

OK, I'll also let you know if anything new happens on my side. Thomas

I tried various combinations on my built-in display and the external monitor, and the problem persists even when they approximate the same resolution. Since it sounds like an edge case and is purel...

1. Yes. 2. Ha, that's interesting! When the Preferences pane is on my external monitor (a Samsung S27E650 at 1080p (if that's the display resolution)), the letters are clipped. But when I drag it o...

Thanks. I just upgraded to 11.3, and it looks the same. I noticed a similar problem problem in the “General” tab in the Preferences window, where the lower part of “Testing” is missing (see screens...

Thanks for the reply! I am on 11.2.3 (Danish, but I guess that shouldn't make a difference). Thomas

Cool, thanks so much for the explanation (which I think I understand the gist of) and for fixing it!