From 07c5ee11217e725fe501f336dcf43c7b5add47b3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Wang?= Date: Thu, 31 Jan 2013 16:35:09 +0100 Subject: [PATCH] Rename AsciiMath config option "decimal" to "decimalsign". --- unpacked/jax/input/AsciiMath/config.js | 2 +- unpacked/jax/input/AsciiMath/jax.js | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/unpacked/jax/input/AsciiMath/config.js b/unpacked/jax/input/AsciiMath/config.js index 0a51fa855..94f4e473a 100644 --- a/unpacked/jax/input/AsciiMath/config.js +++ b/unpacked/jax/input/AsciiMath/config.js @@ -33,7 +33,7 @@ MathJax.InputJax.AsciiMath = MathJax.InputJax({ config: { displaystyle: true, // put limits above and below operators - decimal: "." // can change to "," but watch out for "(1,2)" + decimalsign: "." // can change to "," but watch out for "(1,2)" } }); MathJax.InputJax.AsciiMath.Register("math/asciimath"); diff --git a/unpacked/jax/input/AsciiMath/jax.js b/unpacked/jax/input/AsciiMath/jax.js index 18d79257f..eb32db3bc 100644 --- a/unpacked/jax/input/AsciiMath/jax.js +++ b/unpacked/jax/input/AsciiMath/jax.js @@ -1193,7 +1193,9 @@ ASCIIMATH.Augment({ AM: { Init: function () { displaystyle = ASCIIMATH.config.displaystyle; - decimalsign = ASCIIMATH.config.decimal; + // Old versions use the "decimal" option, so take it into account if it + // is defined by the user. See issue 384. + decimalsign = (ASCIIMATH.config.decimal || ASCIIMATH.config.decimalsign); INITASCIIMATH(); AMinitSymbols(); },