@zklogic/draw.io
Version:
Draw.IO - Graph Editor integration in Angular-cli
1 lines • 913 B
JavaScript
MathJax.Extension["TeX/enclose"]={version:"2.7.9",ALLOWED:{arrow:1,color:1,mathcolor:1,background:1,mathbackground:1,padding:1,thickness:1}},MathJax.Hub.Register.StartupHook("TeX Jax Ready",(function(){var a=MathJax.InputJax.TeX,e=MathJax.ElementJax.mml,t=MathJax.Extension["TeX/enclose"].ALLOWED;a.Definitions.Add({macros:{enclose:"Enclose"}},null,!0),a.Parse.Augment({Enclose:function(a){var n=this.GetArgument(a),o=this.GetBrackets(a),s=this.ParseArg(a),r={notation:n.replace(/,/g," ")};if(o)for(var i=0,l=(o=o.replace(/ /g,"").split(/,/)).length;i<l;i++){var c=o[i].split(/[:=]/);t[c[0]]&&(c[1]=c[1].replace(/^"(.*)"$/,"$1"),"true"===c[1]&&(c[1]=!0),"false"===c[1]&&(c[1]=!1),"arrow"===c[0]&&c[1]?r.notation=r.notation+" updiagonalarrow":r[c[0]]=c[1])}this.Push(e.menclose(s).With(r))}}),MathJax.Hub.Startup.signal.Post("TeX enclose Ready")})),MathJax.Ajax.loadComplete("[MathJax]/extensions/TeX/enclose.js");