Default rendering font changed between Racket v8.8 and v8.9?

[o6po5fcs]

Between Racket v8.8 and Racket v8.9 the rendering of Redex changed. For example, the output of rendering my language CommonLang via the expression

(render-language CommonLang)

is as follows:

• Racket v8.8
• Racket v8.9

v8.9 looks like it is unintended, but I'm not sure. Since I am currently preparing a paper with a Redex formalism, which version has the correct font going forward which I should use to generate images?

[samth]

8.8

8.9

[mflatt]

Are you on macOS Monterey or later? If so, the relevant change is likely racket/draw@3e38f60, which brought the 'roman font back in line with earlier versions of macOS. (The commit message incorrectly says 'modern instead of 'roman.) Especially in that case, the new font is the intended one.

[rfindler]

FWIW, the default fonts that redex uses are probably not going to work with a paper submission. If you have questions or want help setting up redex to match a paper submission guideline, please just ask.

[o6po5fcs]

I am indeed on a macOS version greater than Monterey, which explains the sudden font change. I've since figured out how to properly customise the font via the *-style procedures in the Redex documentation.

As the submission target has no specific style guidelines for the submitted version, I am (at least for now) free to choose a matching set of fonts that don't look odd in the submission template.

Thanks everyone for the helpful comments!