From 9e20ae8afc51203e905592ddebc17288036d27da Mon Sep 17 00:00:00 2001 From: lonnen Date: Mon, 22 Nov 2010 21:20:58 +0000 Subject: [PATCH] issue 451 --- app/src/processing/app/Editor.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java index d644ebfd7..8b211f01f 100644 --- a/app/src/processing/app/Editor.java +++ b/app/src/processing/app/Editor.java @@ -219,7 +219,7 @@ public class Editor extends JFrame implements RunnerListener { splitPane.setDividerSize(dividerSize); } - splitPane.setMinimumSize(new Dimension(600, 400)); +// splitPane.setMinimumSize(new Dimension(600, 400)); box.add(splitPane); // hopefully these are no longer needed w/ swing