Skip to content

Commit f78b37c

Browse files
committed
better message
1 parent d0bf91a commit f78b37c

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

app/src/processing/app/syntax/TextAreaPainter.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -123,7 +123,7 @@ public void updateAppearance() {
123123
int fontSize = Preferences.getInteger("editor.font.size");
124124
plainFont = new Font(fontFamily, Font.PLAIN, fontSize);
125125
if (!fontFamily.equals(plainFont.getFamily())) {
126-
System.err.println("Primary font not available, resetting to monospaced");
126+
System.err.println(fontFamily + " not available, resetting to monospaced");
127127
fontFamily = "Monospaced";
128128
Preferences.set("editor.font.family", fontFamily);
129129
plainFont = new Font(fontFamily, Font.PLAIN, fontSize);

0 commit comments

Comments
 (0)