Searched refs:set_symbols_highlighting (Results 1 – 2 of 2) sorted by relevance
1166 public function set_symbols_highlighting($flag) { function in GeSHi
1012 - Added methods set_symbols_style() and set_symbols_highlighting(). These should be used