From f1f2f8e49ca4dd5493f7d0b377697f2f3d1c6812 Mon Sep 17 00:00:00 2001
From: "David A. Mellis" <d.mellis@arduino.cc>
Date: Sun, 11 Mar 2012 15:05:44 -0400
Subject: [PATCH] Lowering minimum size for Editor text area.

This should make it possible to shrink the overall IDE window without
losing the scroll bars on the text pane.

http://code.google.com/p/arduino/issues/detail?id=52
---
 app/src/processing/app/syntax/TextAreaPainter.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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