Merge pull request #6130 from facchinm/allow_resizing_console_to_zero

facchinm · web-flow · commit ad02e4940c20 · 2017-08-01T11:47:01.000+02:00
Allow setting low values as minimum console size
diff --git a/app/src/processing/app/EditorConsole.java b/app/src/processing/app/EditorConsole.java
@@ -103,9 +103,8 @@ public EditorConsole() {
     FontMetrics metrics = getFontMetrics(actualFont);
     int height = metrics.getAscent() + metrics.getDescent();
     int lines = PreferencesData.getInteger("console.lines");
-    int sizeFudge = 6; //10; // unclear why this is necessary, but it is
-    setPreferredSize(new Dimension(100, (height * lines) + sizeFudge));
-    setMinimumSize(new Dimension(100, (height * 5) + sizeFudge));
+    setPreferredSize(new Dimension(100, (height * lines)));
+    setMinimumSize(new Dimension(100, (height * lines)));
 
     EditorConsole.init(stdOutStyle, System.out, stdErrStyle, System.err);
   }
