Re: [racket-users] Some DrRacket preferences unreadable

2022-12-29 Thread Robby Findler
For those shown portions of the UI, I believe DrRacket is trying to use the system font. It looks like that font is reporting size information in a way that confuses something, somehow (I am not sure how). Has the system font been changed? Can you reset it back to a default to see if that improves

Re: [racket-users] Some DrRacket preferences unreadable

2022-12-29 Thread Jens Axel Søgaard
This looks odd indeed. Does it help to: 1. Change the font DrRacket uses 2. Restart DrRacket Den tor. 29. dec. 2022 kl. 13.54 skrev AvW : > Hi, > > after having installed Racket 8.7 (Windows 64 bit) I cannot read 3 tabs of > the preferences window; the other tabs appear to be OK. > > See at

[racket-users] Some DrRacket preferences unreadable

2022-12-29 Thread AvW
Hi, after having installed Racket 8.7 (Windows 64 bit) I cannot read 3 tabs of the preferences window; the other tabs appear to be OK. See attachments. Some relevant data: - Windows 11 Pro 22H2 build 22621.963 - Racket installation: racket-8.7-x86_64-win32-cs.exe Any ideas? TIA, Arie --