From 8e4ce4cfd1d932b0cb5dc05b84d8adf27e87f7cc Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Mon, 1 Feb 2016 10:14:19 +0100
Subject: [PATCH] Serial monitor font is scaled too
---
app/src/processing/app/AbstractTextMonitor.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app/src/processing/app/AbstractTextMonitor.java b/app/src/processing/app/AbstractTextMonitor.java
index 7caeee195..ab8f30804 100644
--- a/app/src/processing/app/AbstractTextMonitor.java
+++ b/app/src/processing/app/AbstractTextMonitor.java
@@ -43,7 +43,7 @@ public abstract class AbstractTextMonitor extends AbstractMonitor {
protected void onCreateWindow(Container mainPane) {
Font consoleFont = Theme.getFont("console.font");
Font editorFont = PreferencesData.getFont("editor.font");
- Font font = new Font(consoleFont.getName(), consoleFont.getStyle(), editorFont.getSize());
+ Font font = Theme.scale(new Font(consoleFont.getName(), consoleFont.getStyle(), editorFont.getSize()));
mainPane.setLayout(new BorderLayout());