Lines Matching refs:highlight_extra_lines_styles

387     protected $highlight_extra_lines_styles = array();
1837                 unset($this->highlight_extra_lines_styles[$lines]);
1840                 unset($this->highlight_extra_lines_styles[$lines]);
1842                 $this->highlight_extra_lines_styles[$lines] = $style;
3922                         if (isset($this->highlight_extra_lines_styles[$i])) {
3983                                 if (isset($this->highlight_extra_lines_styles[$i])) {
4031                         if (isset($this->highlight_extra_lines_styles[$i])) {
4527         if (!$economy_mode || (count($this->highlight_extra_lines)!=count($this->highlight_extra_lines_styles))) {
4531         foreach ($this->highlight_extra_lines_styles as $lineid => $linestyle) {
4546         if (isset($this->highlight_extra_lines_styles[$line])) {
4547             $style = $this->highlight_extra_lines_styles[$line];