@zklogic/draw.io
Version:
Draw.IO - Graph Editor integration in Angular-cli
1 lines • 788 B
JavaScript
MathJax.Hub.Register.StartupHook("SVG Jax Ready",(function(){var t=MathJax.ElementJax.mml,a=MathJax.OutputJax.SVG;t.ms.Augment({toSVG:function(){this.SVGgetStyles();var t=this.SVG();this.SVGhandleSpace(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=this.SVGgetVariant(),o=this.SVGgetScale(),u=a.lquote+this.data.join("")+a.rquote;return t.Add(this.SVGhandleVariant(e,o,u)),t.Clean(),this.SVGhandleColor(t),this.SVGsaveData(t),t}}),MathJax.Hub.Startup.signal.Post("SVG ms Ready"),MathJax.Ajax.loadComplete(a.autoloadDir+"/ms.js")}));