Files
processing4/app
dzaima 91d7f6a2f6 Use correct variable to create new font
Otherwise, it does new Font("editor.font.family", …), which we don't want
2021-06-27 23:35:54 +03:00
..
2021-01-17 13:21:01 -05:00