Searched refs:set_symbols_highlighting (Results 1 – 15 of 15) sorted by relevance
834 function set_symbols_highlighting ($flag) function in GeSHi
1071 function set_symbols_highlighting($flag) { function in GeSHi
1170 function set_symbols_highlighting($flag) { function in GeSHi
659 - Added methods set_symbols_style() and set_symbols_highlighting(). These should be used
1155 public function set_symbols_highlighting($flag) { function in GeSHi
1166 public function set_symbols_highlighting($flag) { function in GeSHi
900 - Added methods set_symbols_style() and set_symbols_highlighting(). These should be used
1000 - Added methods set_symbols_style() and set_symbols_highlighting(). These should be used
964 - Added methods set_symbols_style() and set_symbols_highlighting(). These should be used
1010 - Added methods set_symbols_style() and set_symbols_highlighting(). These should be used