www

commit 235c5dc40bbccfa879d5963717789df589c1497b
parent ca34855b2565fe9cfbb93d880002b50d4817a238
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed,  3 Oct 2012 06:20:57 -0400

Fix problem with table frames in IE with zero-height tables.  Also fix problem with HTMLboxChild when child is is empty and the container doesn't have a bbox.  Resolves issues found by Fred's test framework.

Diffstat:
M
unpacked/jax/output/HTML-CSS/jax.js
 | 
6
+++++-

1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -954,7 +954,9 @@
     },
     createFrame: function (span,h,d,w,t,style) {
       if (h < -d) {d = -h} // make sure h is above d
-      var T = (this.msieBorderWidthBug ? 0 : 2*t);
+      var T = 2*t;
+      if (this.msieFrameSizeBug) {if (w < T) {w = T}; if (h+d < T) {h = T-d}}
+      if (this.msieBorderWidthBug) {T = 0}
       var H = this.Em(h+d-T), D = this.Em(-d-t), W = this.Em(w-T);
       var B = this.Em(t)+" "+style;
       var frame = this.addElement(span,"span",{
@@ -1625,6 +1627,7 @@
       },
       HTMLboxChild: function (n,box) {
 	if (this.data[n]) {return this.data[n].toHTML(box)}
+        if (!box.bbox) {box.bbox = this.HTMLzeroBBox()}
         return null;
       },
 
@@ -2703,6 +2706,7 @@
           msieMarginScaleBug: (mode < 8),   // relative margins are not scaled properly by font-size
           msiePaddingWidthBug: true,
           msieBorderWidthBug: quirks,
+          msieFrameSizeBug: (mode <= 8),    // crashes if size of box isn't big enough for border
           msieInlineBlockAlignBug: (!isIE8 || quirks),
           msiePlaceBoxBug: (isIE8 && !quirks),
           msieClipRectBug: !isIE8,