Lines Matching defs:lines
75 /** Use a pre to wrap lines when line numbers are enabled or to wrap the whole code. */
384 * Styles of lines that should be highlighted extra
390 * Styles of extra-highlighted lines
440 * Line number styles for fancy lines
944 * For fancy line numbers, the second parameter is used to signal which lines
949 * @param int $nth_row Defines which lines are fancy
963 * span over multiple lines or not. Defaults to true to reduce overhead.
1811 * Specifies which lines to highlight extra
1815 * @param mixed $lines An array of line numbers to highlight, or just a line
1824 public function highlight_lines_extra($lines, $style = null) {
1825 if (is_array($lines)) {
1826 //Split up the job using single lines at a time
1827 foreach ($lines as $line) {
1832 $lines = intval($lines);
1833 $this->highlight_extra_lines[$lines] = $lines;
1837 unset($this->highlight_extra_lines_styles[$lines]);
1839 unset($this->highlight_extra_lines[$lines]);
1840 unset($this->highlight_extra_lines_styles[$lines]);
1842 $this->highlight_extra_lines_styles[$lines] = $style;
1848 * Sets the style for extra-highlighted lines
1850 * @param string $styles The style for extra-highlighted lines
3124 $lines = explode("\n", $result);
3125 $result = null;//Save memory while we process the lines individually
3129 for ($key = 0, $n = count($lines); $key < $n; $key++) {
3130 $line = $lines[$key];
3137 $lines[$key] = ''; // reduce memory
3153 $lines[$key] .= $char;
3156 $lines[$key] .= '<';
3165 $lines[$key] .= $char;
3180 $lines[$key] .= $str;
3184 $lines[$key] .= substr($line, $i + 1);
3188 $lines[$key] .= ' ';
3191 $lines[$key] .= $char;
3196 $result = implode("\n", $lines);
3197 unset($lines);//We don't need the lines separated beyond this --- free them!
3423 // produce valid HTML when we match multiple lines
3443 // produce valid HTML when we match multiple lines
3851 // Get code into lines
3868 // Make lines have at least one space in them if they're empty
3885 // This style "covers up" the special styles set for special lines
3886 // so that styles applied to special lines don't apply to the actual
3965 // fancy lines
3972 // This style "covers up" the special styles set for special lines
3973 // so that styles applied to special lines don't apply to the actual
4004 // No line numbers, but still need to handle highlighting lines extra.
4008 // Make lines have at least one space in them if they're empty
4013 // fancy lines
4020 // This style "covers up" the special styles set for special lines
4021 // so that styles applied to special lines don't apply to the actual
4389 // <pre> or <div> container). Additionally, set default styles for lines
4526 // Styles for lines being highlighted extra