Allow equations with tags to zoom into a full-width zoom box -- not ideal, but better than not visible. (Resolves issue #59 for now.)

This commit is contained in:
Davide P. Cervone 2011-07-28 21:39:46 -04:00
parent 8f2bbee019
commit bb154cabcd
10 changed files with 14 additions and 15 deletions

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View File

@ -23,7 +23,7 @@
*/ */
(function (HUB,HTML,AJAX,HTMLCSS,nMML) { (function (HUB,HTML,AJAX,HTMLCSS,nMML) {
var VERSION = "1.1.1"; var VERSION = "1.1.2";
var CONFIG = HUB.CombineConfig("MathZoom",{ var CONFIG = HUB.CombineConfig("MathZoom",{
delay: 400, // mouse must be still this long (milliseconds) delay: 400, // mouse must be still this long (milliseconds)
@ -216,7 +216,6 @@
else if (window.attachEvent) {attachEvent("onresize",this.Resize)} else if (window.attachEvent) {attachEvent("onresize",this.Resize)}
else {this.onresize = window.onresize; window.onresize = this.Resize} else {this.onresize = window.onresize; window.onresize = this.Resize}
// //
// Canel further actions // Canel further actions
// //
@ -233,7 +232,7 @@
root.toHTML(span,span); root.toHTML(span,span);
var bbox = root.HTMLspanElement().bbox; var bbox = root.HTMLspanElement().bbox;
HTMLCSS.idPostfix = ""; HTMLCSS.idPostfix = "";
if (bbox.width && bbox.width !== "100%") { if (bbox.width) {
// Handle full-width displayed equations // Handle full-width displayed equations
// FIXME: this is a hack for now // FIXME: this is a hack for now
var Mw = Math.floor(.85*document.body.clientWidth); var Mw = Math.floor(.85*document.body.clientWidth);