diff --git a/processing/app/PdeBase.java b/processing/app/PdeBase.java index 70d915ce9..5c8be10eb 100644 --- a/processing/app/PdeBase.java +++ b/processing/app/PdeBase.java @@ -179,7 +179,6 @@ public class PdeBase extends Frame public PdeBase() { super(WINDOW_TITLE); - //frame = this; // clean this up later try { icon = Toolkit.getDefaultToolkit().getImage("lib/icon.gif"); diff --git a/processing/app/PdeEditor.java b/processing/app/PdeEditor.java index f7b9921fe..fe5838016 100644 --- a/processing/app/PdeEditor.java +++ b/processing/app/PdeEditor.java @@ -147,6 +147,7 @@ public class PdeEditor extends JPanel { // assemble console panel, consisting of status area and the console itself consolePanel = new JPanel(); + //System.out.println(consolePanel.getInsets()); consolePanel.setLayout(new BorderLayout()); status = new PdeEditorStatus(this); @@ -163,6 +164,12 @@ public class PdeEditor extends JPanel { // if window increases in size, give all of increase to textarea (top pane) splitPane.setResizeWeight(1D); + // to fix ugliness.. normally macosx java 1.3 puts an + // ugly white border around this object, so turn it off. + if (PdeBase.platform == PdeBase.MACOSX) { + splitPane.setBorder(null); + } + // the default size on windows is too small and kinda ugly int dividerSize = PdeBase.getInteger("editor.divider.size", 0); if (dividerSize != 0) { diff --git a/processing/app/PdeEditorConsole.java b/processing/app/PdeEditorConsole.java index 7836d2b21..9e4125fbc 100644 --- a/processing/app/PdeEditorConsole.java +++ b/processing/app/PdeEditorConsole.java @@ -166,11 +166,11 @@ public class PdeEditorConsole extends JScrollPane { } } - //for (int i = 0; i < lines; i++) { - //appendText("b\r\n", false); - //appendText("\n", false); - //appendText(System.getProperty("line.separator"), false); - //} + // to fix ugliness.. normally macosx java 1.3 puts an + // ugly white border around this object, so turn it off. + if (PdeBase.platform == PdeBase.MACOSX) { + setBorder(null); + } }