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
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
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
--
3 matches
Mail list logo