Searched refs:set_symbols_style (Results 1 – 2 of 2) sorted by last modified time
1146 public function set_symbols_style($style, $preserve_defaults = false, $group = 0) { function in GeSHi
1010 - Added methods set_symbols_style() and set_symbols_highlighting(). These should be used