Searched refs:SvgHighlighter (Results 1 – 1 of 1) sorted by relevance
568 …onName};sre.SvgHighlighter=function(){sre.AbstractHighlighter.call(this);this.mactionName="mjx-svg… class in sre569 sre.SvgHighlighter.prototype.highlightNode=function(a){if(this.isHighlighted(a))return{node:a.previ…571 …e.SvgHighlighter.prototype.setHighlighted=function(a){"svg"===a.tagName&&sre.SvgHighlighter.superC…572 …SvgHighlighter.prototype.isMactionNode=function(a){a=a.className||a.getAttribute("class");return(a…577 sre.HighlighterFactory.highlighterMapping_={SVG:sre.SvgHighlighter,"SVG-V3":sre.SvgV3Highlighter,Na…