Searched refs:getDiv (Results 1 – 3 of 3) sorted by relevance
337 element = highlighter.getDiv(code);1633 getDiv: function(code)
1618 element = highlighter.getDiv(code);2914 getDiv: function(code)
17 …getDiv(o),""!=(u.id||"")&&(t.id=u.id),u.parentNode.replaceChild(t,u)}}},all:function(e){m(window,"… method in B.Highlighter