Make delay following a 'processing' message configurable, and lengthen it a shade to make browser more responsive during typesetting

This commit is contained in:
Davide P. Cervone 2011-09-27 17:05:02 -04:00
parent 073e391c7c
commit f3b1f4102f
2 changed files with 3 additions and 2 deletions

File diff suppressed because one or more lines are too long

View File

@ -1245,6 +1245,7 @@ MathJax.Hub = {
outputJax: {order:{}}, // mime-type mapped to output jax list (by registration)
processUpdateTime: 250, // time between screen updates when processing math (milliseconds)
processUpdateDelay: 10, // pause between screen updates to allow other processing (milliseconds)
signal: MathJax.Callback.Signal("Hub"), // Signal used for Hub events
@ -1611,7 +1612,7 @@ MathJax.Hub = {
//
var now = new Date().getTime();
if (now - state.start > this.processUpdateTime && state.i < state.scripts.length)
{state.start = now; this.RestartAfter(MathJax.Callback.Delay(1))}
{state.start = now; this.RestartAfter(MathJax.Callback.Delay(this.processUpdateDelay))}
}
} catch (err) {return this.processError(err,state,"Output")}
//