Searched refs:set_symbols_highlighting (Results 1 – 2 of 2) sorted by relevance
1124 * This method is DEPRECATED: use set_symbols_highlighting instead.1129 * @deprecated In favour of set_symbols_highlighting1166 public function set_symbols_highlighting($flag) { function in GeSHi
1010 - Added methods set_symbols_style() and set_symbols_highlighting(). These should be used