From 5107ef02dc98b123031a98cadf6f37c0a5d003f2 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Sat, 14 Mar 2015 17:59:47 -0400 Subject: [PATCH] Don't need to add the fake nodes again, since already handled by setTeXclass() already does that. (We didn't use it initially.) --- unpacked/jax/output/CommonHTML/jax.js | 1 - 1 file changed, 1 deletion(-) diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js index e38b8f5a7..1bb578955 100644 --- a/unpacked/jax/output/CommonHTML/jax.js +++ b/unpacked/jax/output/CommonHTML/jax.js @@ -1867,7 +1867,6 @@ // // Make row of open, data, sep, ... data, close // - this.addFakeNodes(); this.CHTMLaddChild(node,"open",{}); for (var i = 0, m = this.data.length; i < m; i++) { this.CHTMLaddChild(node,"sep"+i,{});