Stephen De Gabrielle

> Just realized I could use "Revert all preferences to default" to find that Courier New is the default font for DrRacket on Windows. Again, it seems like MacOS Racket...

Hi, @Nesuniken I could not find a difference between italic and slant. I used the characters you provided. > ℂ, ℍ, ℕ, ℙ, ℚ, ℝ, and ℤ > ⟜⌾◶⎉⍟⎊⥊⌽⍉⍋⍒⍷.

How about replacing the filename and (define ...) buttons?or putting it to the right of the language selector. it can be small text - the same size as 'determine language...'...

and remove the check syntax button

Do you use the (define...) button? I find that When it is small I don’t need it, and when a file is big it is unusable because it is hard...

Focus is good. I've had a play with your code and while I've added a polygon its given me a chance to think about it. Like any control it needs...

for reference; https://www.jetbrains.com/help/clion/navigation-bar.html

@countvajhula you have clearly never had to work with me (insert laughing face emoji here) I'll address the note from @mfelleisen because he has the historical context that I don't...

Thanks @mfelleisen > languages listed on the Racket home page should run out of the box. In addition to video, it looks like a few will need to be dropped...

Maybe Qi? @countvajhula? Or one of the languages at https://github.com/lang-party/Summer2022/issues @bennn ?