Home
last modified time | relevance | path

Searched refs:highlight_extra_lines_styles (Results 1 – 1 of 1) sorted by relevance

/dokuwiki/vendor/geshi/geshi/src/
H A Dgeshi.php387 protected $highlight_extra_lines_styles = array(); variable in GeSHi
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[
[all...]