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