Lines Matching refs:symbols
1078 * @param int $group Tells the group of symbols for which style should be set.
1136 * Sets the styles for symbols. If $preserve_defaults is
1140 * @param string $style The style to make the symbols
1143 * @param int $group Tells the group of symbols for which style should be set.
1147 // Update the style of symbols
1161 * Turns highlighting on/off for symbols
1163 * @param boolean $flag Whether to turn highlighting for symbols on or off
1215 // Update the style of symbols
1980 //Instead we perform it for all symbols at once.
1987 $symbol_preg_multi = array(); // multi char symbols
1988 $symbol_preg_single = array(); // single char symbols
1989 foreach ($this->language_data['SYMBOLS'] as $key => $symbols) {
1990 if (is_array($symbols)) {
1991 foreach ($symbols as $sym) {
2008 $symbols = $this->hsc($symbols);
2009 if (!isset($this->language_data['SYMBOL_DATA'][$symbols])) {
2010 $this->language_data['SYMBOL_DATA'][$symbols] = 0;
2011 if (isset($symbols[1])) { // multiple chars
2012 $symbol_preg_multi[] = preg_quote($symbols, '/');
2013 } elseif ($symbols == '-') {
2017 $symbol_preg_single[] = preg_quote($symbols, '/');
2178 //actually highlighting symbols.
3097 //actually highlighting symbols.
3571 // Split the current stuff to replace into its atomic symbols ...
3574 //Check if consequtive symbols belong to the same group to save output ...
4298 //regardless of actually highlighting symbols.