Skip to content

Commit 91d7f6a

Browse files
authored
Use correct variable to create new font
Otherwise, it does new Font("editor.font.family", …), which we don't want
1 parent 8e5ceb9 commit 91d7f6a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

app/src/processing/app/Preferences.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -369,7 +369,7 @@ static public Font getFont(String familyAttr, String sizeAttr, int style) {
369369
Toolkit.getMonoFontName().equals(fontFamily)) {
370370
return Toolkit.getMonoFont(fontSize, style);
371371
}
372-
return new Font(familyAttr, style, fontSize);
372+
return new Font(fontFamily, style, fontSize);
373373
}
374374

375375

0 commit comments

Comments
 (0)