diff --git a/processing/app/PdeEditorConsole.java b/processing/app/PdeEditorConsole.java index 04b822b80..fe389ee60 100644 --- a/processing/app/PdeEditorConsole.java +++ b/processing/app/PdeEditorConsole.java @@ -340,9 +340,14 @@ public class PdeEditorConsole extends Component { //} } - public Dimension getMinimumSize() { - return getPreferredSize(); - } + public Dimension getMinimumSize() { + return getPreferredSize(); + } + + public Dimension getMaximumSize() { + Dimension pref = getPreferredSize(); + return new Dimension(3000, pref.width); + } } diff --git a/processing/app/PdeEditorHeader.java b/processing/app/PdeEditorHeader.java index e5083fe5d..679d076f0 100644 --- a/processing/app/PdeEditorHeader.java +++ b/processing/app/PdeEditorHeader.java @@ -211,6 +211,10 @@ public class PdeEditorHeader extends Panel /* implements ActionListener*/ { return new Dimension(300, PdeEditor.GRID_SIZE); } + public Dimension getMaximumSize() { + return new Dimension(3000, PdeEditor.GRID_SIZE); + } + /* public void actionPerformed(ActionEvent e) { diff --git a/processing/app/PdeEditorStatus.java b/processing/app/PdeEditorStatus.java index 4b5901351..f1c04ecff 100644 --- a/processing/app/PdeEditorStatus.java +++ b/processing/app/PdeEditorStatus.java @@ -369,12 +369,16 @@ public class PdeEditorStatus extends Panel public Dimension getPreferredSize() { + return getMinimumSize(); + } + + public Dimension getMinimumSize() { return new Dimension(300, PdeEditor.GRID_SIZE); } - public Dimension getMinimumSize() { - return getPreferredSize(); - } + public Dimension getMaximumSize() { + return new Dimension(3000, PdeEditor.GRID_SIZE); + } public void actionPerformed(ActionEvent e) {