diff --git a/app/src/processing/app/syntax/TextAreaPainter.java b/app/src/processing/app/syntax/TextAreaPainter.java index cc93aeded..e99329526 100644 --- a/app/src/processing/app/syntax/TextAreaPainter.java +++ b/app/src/processing/app/syntax/TextAreaPainter.java @@ -515,7 +515,10 @@ implements TabExpander, Printable */ public Dimension getMinimumSize() { - return getPreferredSize(); + Dimension dim = new Dimension(); + dim.width = fm.charWidth('w') * 10; + dim.height = fm.getHeight() * 4; + return dim; } // package-private members