Indeed I did change the system font a while ago. The reason for that was that I very much like to have a non-proportional font (especially in the explorer).
And yes, reverting it to the default font is the solution! But maybe is would be possible to change this behaviour of DrRacket. Since in most tabs of the Preferences Window it does work out-of-the-box, I cannot understand why in those cases it works differently ... Anyway, many thanks. Now I must cope with that ugly proportional font :-) Op donderdag 29 december 2022 om 15:26:02 UTC+1 schreef 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 the situation? > > Robby > > On Thu, Dec 29, 2022 at 7:48 AM Jens Axel Søgaard <jens...@soegaard.net> > 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 <xap...@gmail.com>: >> >>> 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 racket-users...@googlegroups.com. >>> 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 racket-users...@googlegroups.com. >>> 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 racket-users...@googlegroups.com. >> 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 racket-users...@googlegroups.com. >> > 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 racket-users+unsubscr...@googlegroups.com. 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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/2a95b798-4b39-433a-adef-0ba1ab7e3b0an%40googlegroups.com.
