rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-30 19:52:13 +01:00
Code Issues Releases Activity

Serial monitor font is scaled too

Browse Source
This commit is contained in:
Cristian Maglie 2016-02-01 10:14:19 +01:00
parent 5642c291d7
commit 8e4ce4cfd1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/src/processing/app/AbstractTextMonitor.java
View File

@ -43,7 +43,7 @@ public abstract class AbstractTextMonitor extends AbstractMonitor {
protected void onCreateWindow(Container mainPane) { protected void onCreateWindow(Container mainPane) {
Font consoleFont = Theme.getFont("console.font"); Font consoleFont = Theme.getFont("console.font");
Font editorFont = PreferencesData.getFont("editor.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()); mainPane.setLayout(new BorderLayout());