1 parent d0bf91a commit f78b37cCopy full SHA for f78b37c
1 file changed
app/src/processing/app/syntax/TextAreaPainter.java
@@ -123,7 +123,7 @@ public void updateAppearance() {
123
int fontSize = Preferences.getInteger("editor.font.size");
124
plainFont = new Font(fontFamily, Font.PLAIN, fontSize);
125
if (!fontFamily.equals(plainFont.getFamily())) {
126
- System.err.println("Primary font not available, resetting to monospaced");
+ System.err.println(fontFamily + " not available, resetting to monospaced");
127
fontFamily = "Monospaced";
128
Preferences.set("editor.font.family", fontFamily);
129
0 commit comments