I am sorry to hear that. But it may be something specific to that particular font. My favorite fixed width font is Inconsolata but there are a lot of good options out there. Might be worth trying some others?
Robby On Fri, Dec 30, 2022 at 5:45 AM AvW <[email protected]> wrote: > 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 <[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/2a95b798-4b39-433a-adef-0ba1ab7e3b0an%40googlegroups.com > <https://groups.google.com/d/msgid/racket-users/2a95b798-4b39-433a-adef-0ba1ab7e3b0an%40googlegroups.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/CAL3TdOPLMt2qR6_nKt_aROSpxUxJ2hgmzAHp9rZcp84U9H41Qw%40mail.gmail.com.
