@zklogic/draw.io
Version:
Draw.IO - Graph Editor integration in Angular-cli
1 lines • 781 B
JavaScript
MathJax.Hub.Register.StartupHook("HTML-CSS Jax Ready",(function(){var t=MathJax.ElementJax.mml,a=MathJax.OutputJax["HTML-CSS"];t.ms.Augment({toHTML:function(t){t=this.HTMLhandleSize(this.HTMLcreateSpan(t));var a=this.getValues("lquote","rquote","mathvariant");this.hasValue("lquote")&&'"'!==a.lquote||(a.lquote="“"),this.hasValue("rquote")&&'"'!==a.rquote||(a.rquote="”"),"“"===a.lquote&&"monospace"===a.mathvariant&&(a.lquote='"'),"”"===a.rquote&&"monospace"===a.mathvariant&&(a.rquote='"');var e=a.lquote+this.data.join("")+a.rquote;return this.HTMLhandleVariant(t,this.HTMLgetVariant(),e),this.HTMLhandleSpace(t),this.HTMLhandleColor(t),this.HTMLhandleDir(t),t}}),MathJax.Hub.Startup.signal.Post("HTML-CSS ms Ready"),MathJax.Ajax.loadComplete(a.autoloadDir+"/ms.js")}));