Searched refs:getDefaultHighlighter (Results 1 – 2 of 2) sorted by relevance
151 const Highlighter &getDefaultHighlighter() const { return m_default; } in getDefaultHighlighter() function
90 return mgr.getDefaultHighlighter().Highlight(style, code, cursor); in highlightDefault()