Searched refs:isHeading (Results 1 – 1 of 1) sorted by relevance
102 function isHeading(element) { function156 !(doNotHighlightHeadings && isHeading(cursor)) &&