From b7bf3be64eded1233bfc8ea36d73191b320dfd0c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Wang?= Date: Wed, 26 Dec 2012 12:23:21 +0100 Subject: [PATCH] workaround for issue366: limit the number of repetition to build stretchy chars in HTML-CSS --- 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 index 4517dc3f2..ed575ed3c 100644 --- 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) {