2002/06/23 21:26:37
[org.ibex.core.git] / src / org / xwt / Box.java
index 7456b6e..1e9bcc0 100644 (file)
@@ -234,6 +234,9 @@ public final class Box extends JSObject {
     /** If true, the Box will force its own size to the natural size of its background image */
     boolean sizetoimage = false;
 
+    /** If true and tile is false, the background of this image will never be stretched */
+    boolean fixedaspect = false;
+
     /** If true, the box will shrink to the smallest vertical size possible */
     boolean vshrink = false;
 
@@ -289,6 +292,9 @@ public final class Box extends JSObject {
         if (getParent() == null && surface != null && which == size)
             surface._setSize(axis == 0 ? newvalue : size(0), axis == 1 ? newvalue : size(1));
 
+        if (getParent() == null && surface != null && (which == dmin || which == dmax))
+            surface.setLimits(dmin(0), dmin(1), dmax(0), dmax(1));
+
         switch(which) {
         case dmin: if (dmin(axis) == newvalue) return; if (axis == 0) _dmin_0 = newvalue; else _dmin_1 = newvalue; break;
         case dmax: if (dmax(axis) == newvalue) return; if (axis == 0) _dmax_0 = newvalue; else _dmax_1 = newvalue; break;
@@ -325,6 +331,9 @@ public final class Box extends JSObject {
         // if the pad changes, update cmin
         if (which == pad) sync_cmin_to_children();
 
+        // needed in the shrink case, since dmin may have been the deciding factor in calculating cmin
+        if ((vshrink || hshrink) && (which == dmin || which == textdim || which == pad)) sync_cmin_to_children();
+
         // if the cmin changes, we need to be re-prerendered
         if (which == cmin) mark_for_prerender(); 
 
@@ -420,12 +429,17 @@ public final class Box extends JSObject {
                 if (Log.on) Log.log(Box.class, "HTTP images can not be loaded from the foreground thread");
                 return null;
             }
+            // FIXME: use primitives here
             ThreadMessage mythread = (ThreadMessage)thread;
             mythread.setPriority(Thread.MIN_PRIORITY);
             mythread.done.release();
             try {
-                if (str.endsWith(".png")) ret = PNG.decode(Platform.urlToInputStream(new URL(str)), str);
-                else ret = GIF.decode(Platform.urlToInputStream(new URL(str)), str);
+                // FIXME use mime types here, not extensions
+                if (str.endsWith(".jpeg") || str.endsWith(".jpg"))
+                    str = "http://xmlrpc.xwt.org/jpeg2png/" + str.substring(str.indexOf("//") + 2);
+
+                if (str.endsWith(".gif")) ret = GIF.decode(new HTTP(str).getInputStream(), str);
+                else ret = PNG.decode(new HTTP(str).getInputStream(), str);
                 return ret;
 
             } catch (IOException e) {
@@ -654,10 +668,11 @@ public final class Box extends JSObject {
 
         // FASTPATH: if we haven't moved position (just changed size), and we're not a stretched image:
         if (oldpos(0) == pos(0) && oldpos(1) == pos(1) && (image == null || tile)) {
-            
-            int bw = border == null ? 0 : border[2].getWidth();
-            int bh = border == null ? 0 : border[0].getHeight();
-            
+
+            // we use the max(border, pad) since because of the pad we might be revealing an abs-pos child
+            int bw = max(border == null ? 0 : border[2].getWidth(), pad(0));
+            int bh = max(border == null ? 0 : border[0].getHeight(), pad(1));
+
             // dirty only the *change* in the area we cover, both on ourselves and on our parent
             for(Box cur = this; cur != null && (cur == this || cur == this.getParent()); cur = cur.getParent()) {
                 cur.dirty(pos(0) + min(oldsize(0) - bw, size(0) - bw),
@@ -687,21 +702,25 @@ public final class Box extends JSObject {
         set(oldpos, 0, pos(0));
         set(oldpos, 1, pos(1));
 
-        if (sizechange || poschange)
-            if (surface.sizePosChangesSinceLastRender++ > 500) {
+        if (!sizechange && !poschange) return;
+
+        if (++surface.sizePosChangesSinceLastRender >= 500) {
+            if (surface.sizePosChangesSinceLastRender == 500) {
                 if (Log.on) Log.log(this, "Warning, more than 500 SizeChange/PosChange traps triggered since last complete render");
+                if (Log.on) Log.log(this, "    interpreter is at " + Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine);
                 try {
                     Trap t = sizechange ? Trap.getTrap(this, "SizeChange") : Trap.getTrap(this, "PosChange");
                     InterpretedFunction f = (InterpretedFunction)t.f;
                     if (Log.on) Log.log(this, "Current trap is at " + f.getSourceName() + ":" + f.getLineNumbers()[0]);
                 } catch (Throwable t) { }
             }
-
-        if (sizechange) put("SizeChange", null, Boolean.TRUE);
-        if (poschange) put("PosChange", null, Boolean.TRUE);
-        if (sizechange || poschange) {
-            surface.abort = true;
-            return;
+        } else {
+            if (sizechange) put("SizeChange", null, Boolean.TRUE);
+            if (poschange) put("PosChange", null, Boolean.TRUE);
+            if (sizechange || poschange) {
+                surface.abort = true;
+                return;
+            }
         }
     }
     
@@ -818,16 +837,16 @@ public final class Box extends JSObject {
         if (w <= 0 || h <= 0) return;
 
         if (border != null) renderBorder(x, y, w, h, buf);
-
         if ((color & 0xFF000000) != 0x00000000 || getParent() == null) {
             int bw = border == null ? 0 : border[2].getWidth();
             int bh = border == null ? 0 : border[0].getHeight();
+            int x1 = max(x, pos(0) + bw);
+            int y1 = max(y, pos(1) + bh);
+            int x2 = min(x + w, pos(0) + size(0) - bw);
+            int y2 = min(y + h, pos(1) + size(1) - bh);
             buf.setClip(0, 0, buf.getWidth(), buf.getHeight());
-            buf.fillRect(max(x, pos(0) + bw),
-                         max(y, pos(1) + bh),
-                         min(x + w, pos(0) + size(0) - bw),
-                         min(y + h, pos(1) + size(1) - bh),
-                         (color & 0xFF000000) != 0 ? color : SpecialBoxProperty.lightGray);
+            if (y2 - y1 > 0 && x2 - x1 > 0)
+                buf.fillRect(x1,y1,x2,y2,(color & 0xFF000000) != 0 ? color : SpecialBoxProperty.lightGray);
         }
 
         if (image != null) {
@@ -853,9 +872,8 @@ public final class Box extends JSObject {
         buf.setClip(x, y, w + x, h + y);
 
         if ((color & 0xFF000000) != 0xFF000000) {
-
             // if the color is null, we have to be very careful about drawing the corners
-            if (Log.verbose) Log.log(this, "WARNING: (color == null && border != null) on box with border " + imageToNameMap.get(border[4]));
+            //if (Log.verbose) Log.log(this, "WARNING: (color == null && border != null) on box with border " + imageToNameMap.get(border[4]));
 
             // upper left corner
             buf.drawPicture(border[4],
@@ -910,11 +928,28 @@ public final class Box extends JSObject {
         buf.setClip(x, y, w + x, h + y);
         int bw = border == null ? 0 : border[4].getHeight();
         int bh = border == null ? 0 : border[4].getWidth();
+
+        int width = pos(0) + size(0) - bw / 2 - pos(0) + bw / 2;
+        int height = pos(1) + size(1) - bh / 2 - pos(1) + bh / 2;
+
+        if (fixedaspect) {
+            int hstretch = width / image.getWidth();
+            if (hstretch == 0) hstretch = -1 * image.getWidth() / width;
+            int vstretch = height / image.getHeight();
+            if (vstretch == 0) vstretch = -1 * image.getHeight() / height;
+
+            if (hstretch < vstretch) {
+                height = image.getHeight() * width / image.getWidth();
+            } else {
+                width = image.getWidth() * height / image.getHeight();
+            }
+        }
+
         buf.drawPicture(image,
                         pos(0) + bw / 2,
                         pos(1) + bh / 2,
-                        pos(0) + size(0) - bw / 2,
-                        pos(1) + size(1) - bh / 2,
+                        pos(0) + bw / 2 + width,
+                        pos(1) + bh / 2 + height,
                         0, 0, image.getWidth(), image.getHeight());
         buf.setClip(0, 0, buf.getWidth(), buf.getHeight());
     }
@@ -1001,7 +1036,7 @@ public final class Box extends JSObject {
      */
     public void put(int i, Scriptable start, Object value) {
         if (value == null) {
-            if (i > 0 && i < numChildren()) getChild(i).remove();
+            if (i >= 0 && i < numChildren()) getChild(i).remove();
             return;
         }
         if (value instanceof RootProxy) {