www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 6c4996b436704c8523e13d3114363a72e58007a3
parent b9379938a8f09417e97f09a7d3be12c369755517
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Thu, 20 Mar 2014 05:49:20 -0400

Merge remote-tracking branch 'dpvc/issue615' into develop.  Issue #615.

Diffstat:
Munpacked/jax/output/SVG/jax.js | 5+++++
1 file changed, 5 insertions(+), 0 deletions(-)

diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js @@ -101,6 +101,10 @@ hideProcessedMath: true, // use display:none until all math is processed + fontNames: ["TeX","STIX","STIX-Web","Asana-Math", + "Gyre-Termes","Gyre-Pagella","Latin-Modern","Neo-Euler"], + + Config: function () { this.SUPER(arguments).Config.apply(this,arguments); var settings = HUB.config.menuSettings, config = this.config, font = settings.font; @@ -112,6 +116,7 @@ } else { this.fontInUse = config.font || "TeX"; } + if (this.fontNames.indexOf(this.fontInUse) < 0) {this.fontInUse = "TeX"} this.fontDir += "/" + this.fontInUse; if (!this.require) {this.require = []} this.require.push(this.fontDir+"/fontdata.js");