mflatt
2022-5-26 11:46:12

The latest snapshot installs and runs for me


popa.bogdanp
2022-5-26 12:51:51

I re-ran the failing job and it’s now passing, so I think we’re good. Thanks!


rntz
2022-5-26 20:18:24

This didn’t really work… I’m not using DrRacket, and it produces a window with text that is so small on my HiDPI screen it’s nearly unreadable.


ryanc
2022-5-26 21:14:34

If you open DrRacket and use the DrRacket preferences to adjust the font size to something reasonable on your machine, then the syntax browser should pick up the change. That only affects the main text display, though; if the GUI elements are too small that’s a different issue.


rntz
2022-5-26 21:55:11

remarkably, drracket only has tiny text size when I launch it from within emacs, not if I launch it normally. not sure what to do about that.