search

racket / redex

Other
93 stars 36 forks source link

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

Closed o6po5fcs closed 1 year ago

o6po5fcs commented 1 year ago

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:

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 commented 1 year ago

8.8 image 8.9 image

mflatt commented 1 year ago

Are you on macOS Monterey or later? If so, the relevant change is likely https://github.com/racket/draw/commit/3e38f604eb9b3ed15854ff7ca774c81b56922d61, 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 commented 1 year ago

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 commented 1 year ago

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!