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 the situation? Robby On Thu, Dec 29, 2022 at 7:48 AM Jens Axel Søgaard <[email protected]> wrote: > 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 <[email protected]>: > >> 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 >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com >> . >> >> Beyond the Racket Users Google Group, Racket Discussions take place on >> Discourse ( https://racket.discourse.group/ ) and Discord ( >> https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes >> place on the Racket Slack https://racket.slack.com/ ( sign up at >> https://racket-slack.herokuapp.com/ ), and IRC #racket >> https://kiwiirc.com/nextclient/irc.libera.chat/#racket >> --- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com >> <https://groups.google.com/d/msgid/racket-users/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > -- > Jens Axel Søgaard > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com > . > > Beyond the Racket Users Google Group, Racket Discussions take place on > Discourse ( https://racket.discourse.group/ ) and Discord ( > https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes > place on the Racket Slack https://racket.slack.com/ ( sign up at > https://racket-slack.herokuapp.com/ ), and IRC #racket > https://kiwiirc.com/nextclient/irc.libera.chat/#racket > --- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CABefVgyCS3Wg4Sh2vTy3d7gQJeUTNbzpzqRkMSH1DEjVwPQnhg%40mail.gmail.com > <https://groups.google.com/d/msgid/racket-users/CABefVgyCS3Wg4Sh2vTy3d7gQJeUTNbzpzqRkMSH1DEjVwPQnhg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com. Beyond the Racket Users Google Group, Racket Discussions take place on Discourse ( https://racket.discourse.group/ ) and Discord ( https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on the Racket Slack https://racket.slack.com/ ( sign up at https://racket-slack.herokuapp.com/ ), and IRC #racket https://kiwiirc.com/nextclient/irc.libera.chat/#racket --- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAL3TdOOEhO5AMjpkcuqK_i0%3DxGJ1%3DAmpyQ-kzgryriVuPXNHkw%40mail.gmail.com.
