From 444058af4625ac86a50c3fc99bd4704e6a67541a Mon Sep 17 00:00:00 2001 From: benfry Date: Tue, 19 Nov 2002 22:53:51 +0000 Subject: [PATCH] tweaking new layout for windows --- app/PdeEditorConsole.java | 11 ++++++++--- app/PdeEditorHeader.java | 4 ++++ app/PdeEditorStatus.java | 10 +++++++--- 3 files changed, 19 insertions(+), 6 deletions(-) diff --git a/app/PdeEditorConsole.java b/app/PdeEditorConsole.java index 04b822b80..fe389ee60 100644 --- a/app/PdeEditorConsole.java +++ b/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/app/PdeEditorHeader.java b/app/PdeEditorHeader.java index e5083fe5d..679d076f0 100644 --- a/app/PdeEditorHeader.java +++ b/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/app/PdeEditorStatus.java b/app/PdeEditorStatus.java index 4b5901351..f1c04ecff 100644 --- a/app/PdeEditorStatus.java +++ b/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) {