Lines Matching refs:lines
76 /** Use a pre to wrap lines when line numbers are enabled or to wrap the whole code. */
407 * Lines that should be highlighted extra
413 * Styles of lines that should be highlighted extra
419 * Styles of extra-highlighted lines
469 * Line number styles for fancy lines
870 * For fancy line numbers, the second parameter is used to signal which lines
875 * @param int Defines which lines are fancy
889 * span over multiple lines or not. Defaults to true to reduce overhead.
1676 * Specifies which lines to highlight extra
1689 function highlight_lines_extra($lines, $style = null) {
1690 if (is_array($lines)) {
1691 //Split up the job using single lines at a time
1692 foreach ($lines as $line) {
1697 $lines = intval($lines);
1698 $this->highlight_extra_lines[$lines] = $lines;
1702 unset($this->highlight_extra_lines_styles[$lines]);
1704 unset($this->highlight_extra_lines[$lines]);
1705 unset($this->highlight_extra_lines_styles[$lines]);
1707 $this->highlight_extra_lines_styles[$lines] = $style;
1713 * Sets the style for extra-highlighted lines
1715 * @param string The style for extra-highlighted lines
2977 $lines = explode("\n", $result);
2978 $result = null;//Save memory while we process the lines individually
2982 for ($key = 0, $n = count($lines); $key < $n; $key++) {
2983 $line = $lines[$key];
2990 $lines[$key] = ''; // reduce memory
3006 $lines[$key] .= $char;
3009 $lines[$key] .= '<';
3018 $lines[$key] .= $char;
3033 $lines[$key] .= $str;
3037 $lines[$key] .= substr($line, $i + 1);
3041 $lines[$key] .= ' ';
3044 $lines[$key] .= $char;
3049 $result = implode("\n", $lines);
3050 unset($lines);//We don't need the lines separated beyond this --- free them!
3210 // produce valid HTML when we match multiple lines
3230 // produce valid HTML when we match multiple lines
3717 // Get code into lines
3737 // Make lines have at least one space in them if they're empty
3754 // This style "covers up" the special styles set for special lines
3755 // so that styles applied to special lines don't apply to the actual
3834 // fancy lines
3841 // This style "covers up" the special styles set for special lines
3842 // so that styles applied to special lines
3873 // No line numbers, but still need to handle highlighting lines extra.
3877 // Make lines have at least one space in them if they're empty
3882 // fancy lines
3889 // This style "covers up" the special styles set for special lines
3890 // so that styles applied to special lines don't apply to the actual
4250 // <pre> or <div> container). Additionally, set default styles for lines
4387 // Styles for lines being highlighted extra
