rem: jsMath.Controls.cookie.font == 'image')) { 
add: jsMath.Controls.cookie.font == 'image')) { 
context:   ProcessComplete: function () {    if (jsMath.Browser.renameOK) {      var element = document.getElementsByName('_jsMath_');      for (var i = element.length-1; i >= 0; i--) {        element[i].removeAttribute('NAME');      }    }    jsMath.element = [];    window.status = 'Done';    if (jsMath.Browser.safariImgBug &&        (jsMath.Controls.cookie.font == 'symbol' ||	 jsMath.Controls.cookie.font == 'image')) {      //      //  For Safari, the images don't always finish      //  updating, so nudge the window to cause a      //  redraw.  (Hack!)      //      setTimeout("window.resizeBy(-1,0); window.resizeBy(1,0);",2000);    }  },
meta: 6019	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6019/39e543f846ebf9878a2a39accded2b2539adb909/jsMath.js/buggy/htdocs/jsMath/jsMath.js