www

commit b7bf3be64eded1233bfc8ea36d73191b320dfd0c
parent f8d42155194f2184dadc2e433661b8a4310d81be
Author: Frédéric Wang <fred.wang@free.fr>
Date:   Wed, 26 Dec 2012 12:23:21 +0100

workaround for issue366: limit the number of repetition to build stretchy chars in HTML-CSS

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

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -1130,7 +1130,7 @@
       if (H > h) {
         ext = this.Element("span"); this.createChar(ext,delim.ext,scale,font);
         var eH = ext.bbox.h + ext.bbox.d, eh = eH - .05, n, N, k = (delim.mid ? 2 : 1);
-        N = n = Math.ceil((H-h)/(k*eh));
+        N = n = Math.min(Math.ceil((H-h)/(k*eh)), 1000);
         if (!delim.fullExtenders) {eh = (H-h)/(k*n)}
         var dy = (n/(n+1))*(eH - eh); eh = eH - dy; y += dy + eh - ext.bbox.h;
         while (k-- > 0) {
@@ -1180,7 +1180,7 @@
       if (delim.min && W < w*delim.min) {W = w*delim.min}
       if (W > w) {
         var rW = rep.bbox.rw-rep.bbox.lw, rw = rW - .05, n, N, k = (delim.mid ? 2 : 1);
-        N = n = Math.ceil((W-w)/(k*rw));
+        N = n = Math.min(Math.ceil((W-w)/(k*rw)), 1000);
         if (!delim.fillExtenders) {rw = (W-w)/(k*n)}
         dx = (n/(n+1))*(rW - rw); rw = rW - dx; x -= rep.bbox.lw + dx;
         while (k-- > 0) {