removed min/max width/height helper methods

darcs-hash:20050123212844-5007d-84bd460c09e5e99ed66e0dc3fcb6e4e65850af46.gz

diff --git a/src/org/ibex/core/Box.java b/src/org/ibex/core/Box.java
index 78b417b..089797f 100644 (file)
--- a/src/org/ibex/core/Box.java
+++ b/src/org/ibex/core/Box.java
@@ -109,10 +109,6 @@ public final class Box extends JS.Obj implements Callable {
     public int maxwidth = Integer.MAX_VALUE;
     public int minheight = 0;
     public int maxheight = Integer.MAX_VALUE;
     public int maxwidth = Integer.MAX_VALUE;
     public int minheight = 0;
     public int maxheight = Integer.MAX_VALUE;

-    public int minwidth() { return minwidth; }
-    public int minheight() { return minheight; }
-    public int maxwidth() { return maxwidth; }
-    public int maxheight() { return maxheight; }

     private short rows = 1;
     private short cols = 0;
     private short rowspan = 1;
     private short rows = 1;
     private short cols = 0;
     private short rowspan = 1;

diff --git a/src/org/ibex/plat/AWT.java b/src/org/ibex/plat/AWT.java
index ac10499..27d213b 100644 (file)
--- a/src/org/ibex/plat/AWT.java
+++ b/src/org/ibex/plat/AWT.java
@@ -318,7 +318,7 @@ public class AWT extends JVM {
 
         class InnerFrame extends Frame {
             public InnerFrame() throws java.lang.UnsupportedOperationException { }
 
         class InnerFrame extends Frame {
             public InnerFrame() throws java.lang.UnsupportedOperationException { }

-            public Dimension getMinimumSize() { return new Dimension(root.minwidth(), root.minheight()); }
+            public Dimension getMinimumSize() { return new Dimension(root.minwidth, root.minheight); }

             public void update(Graphics gr) {
                 Rectangle r = gr.getClipBounds();
                 super.update(gr);
             public void update(Graphics gr) {
                 Rectangle r = gr.getClipBounds();
                 super.update(gr);

@@ -347,7 +347,7 @@ public class AWT extends JVM {
 
         class InnerWindow extends Window {
             public InnerWindow() throws java.lang.UnsupportedOperationException { super(new Frame()); }
 
         class InnerWindow extends Window {
             public InnerWindow() throws java.lang.UnsupportedOperationException { super(new Frame()); }

-            public Dimension getMinimumSize() { return new Dimension(root.minwidth(), root.minheight()); }
+            public Dimension getMinimumSize() { return new Dimension(root.minwidth, root.minheight); }

             public void update(Graphics gr) { paint(gr); }
             public void paint(Graphics gr) {
                 g = null;
             public void update(Graphics gr) { paint(gr); }
             public void paint(Graphics gr) {
                 g = null;