Searched refs:set_symbols_style (Results 1 – 2 of 2) sorted by last modified time
1104 * This method is DEPRECATED: use set_symbols_style instead.1111 * @deprecated In favour of set_symbols_style1146 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