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