mirror of
https://github.com/processing/processing4.git
synced 2026-06-16 04:26:26 +02:00
91d7f6a2f6
Otherwise, it does new Font("editor.font.family", …), which we don't want