subject:"Re\: \[racket\-users\] Some DrRacket preferences unreadable"

Re: [racket-users] Some DrRacket preferences unreadable

2022-12-30 Thread Robby Findler

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  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 
>> 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 :
>>>
 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
 
 .

>>>
>>>
>>> --
>>> --
>>> 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
>>> 
>>> .
>>>
>> --
> 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
> .
>

Re: [racket-users] Some DrRacket preferences unreadable

2022-12-30 Thread AvW

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  
> 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 :
>>
>>> 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
>>>  
>>> 
>>> .
>>>
>>
>>
>> -- 
>> -- 
>> 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
>>  
>> 
>> .
>>
>

-- 
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.

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 the situation?

Robby

On Thu, Dec 29, 2022 at 7:48 AM Jens Axel Søgaard 
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 :
>
>> 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+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/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com
>> 
>> .
>>
>
>
> --
> --
> 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+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/CABefVgyCS3Wg4Sh2vTy3d7gQJeUTNbzpzqRkMSH1DEjVwPQnhg%40mail.gmail.com
> 
> .
>

-- 
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/CAL3TdOOEhO5AMjpkcuqK_i0%3DxGJ1%3DAmpyQ-kzgryriVuPXNHkw%40mail.gmail.com.

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 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+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/4ba70e7b-e7ac-4720-898a-d9548dbc8426n%40googlegroups.com
> 
> .
>


-- 
-- 
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+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/CABefVgyCS3Wg4Sh2vTy3d7gQJeUTNbzpzqRkMSH1DEjVwPQnhg%40mail.gmail.com.

Re: [racket-users] Some DrRacket preferences unreadable

Re: [racket-users] Some DrRacket preferences unreadable

Re: [racket-users] Some DrRacket preferences unreadable

Re: [racket-users] Some DrRacket preferences unreadable

4 matches

Site Navigation

Mail list logo

Footer information