@zklogic/draw.io
Version:
Draw.IO - Graph Editor integration in Angular-cli
1 lines • 748 B
JavaScript
MathJax.Extension["TeX/verb"]={version:"2.7.9"},MathJax.Hub.Register.StartupHook("TeX Jax Ready",(function(){var t=MathJax.ElementJax.mml,i=MathJax.InputJax.TeX;i.Definitions.Add({macros:{verb:"Verb"}},null,!0),i.Parse.Augment({Verb:function(e){var a=this.GetNext(),s=++this.i;for(""==a&&i.Error(["MissingArgFor","Missing argument for %1",e]);this.i<this.string.length&&this.string.charAt(this.i)!=a;)this.i++;this.i==this.string.length&&i.Error(["NoClosingDelim","Can't find closing delimiter for %1",e]);var r=this.string.slice(s,this.i).replace(/ /g," ");this.i++,this.Push(t.mtext(r).With({mathvariant:t.VARIANT.MONOSPACE}))}}),MathJax.Hub.Startup.signal.Post("TeX verb Ready")})),MathJax.Ajax.loadComplete("[MathJax]/extensions/TeX/verb.js");