Lines Matching refs:line
61 /** Use no line numbers when building the result */
63 /** Use normal line numbers when building the result */
65 /** Use fancy line numbers when building the result */
75 /** Use a pre to wrap lines when line numbers are enabled or to wrap the whole code. */
209 /** The line number type passed to {@link GeSHi->enable_line_numbers()} was invalid */
267 GESHI_ERROR_INVALID_LINE_NUMBER_TYPE => 'The line number type specified is invalid'
343 * if not using line numbering
396 * The line ending
404 * Number at which line numbers should start at
446 * Style for line numbers when GESHI_HEADER_PRE_TABLE is chosen
452 * Flag for how line numbers are displayed
458 * Flag to decide if multi line spans are allowed. Set it to false to make sure
465 * The "nth" value for fancy line highlighting
810 * means more source code but more control over tab width and line-wrapping.
890 * the line numbers if you are using line numbers, else the line of
891 * code will have the same style as the line number! Consult the
907 * Sets the styles for the line numbers.
909 * @param string $style1 The style for the line numbers that are "normal"
910 * @param string|boolean $style2 If a string, this is the style of the line
936 * Sets whether line numbers should be displayed.
942 * - GESHI_FANCY_LINE_NUMBERS: Fancy line numbers will be displayed
944 * For fancy line numbers, the second parameter is used to signal which lines
946 * 5th line will be fancy.
948 * @param int $flag How line numbers should be displayed
1801 * Whether CSS IDs should be added to each line
1803 * @param boolean $flag If true, IDs will be added to each line.
1815 * @param mixed $lines An array of line numbers to highlight, or just a line
1817 * @param string $style A string specifying the style to use for this line.
1819 * If false is specified, the line will be removed from
1827 foreach ($lines as $line) {
1828 $this->highlight_lines_extra($line, $style);
1831 //Mark the line as being highlighted specially
1838 } elseif ($style === false) { //Check if to remove this line
1858 * Sets the line-ending
1860 * @param string $line_ending The new line-ending
1868 * Sets what number line numbers should start at. Should
1872 * attribute to the <ol> that is used for line numbering.
1879 * @param int $number The number to start line numbers at
2392 //Preload if line numbers are to be generated afterwards
2393 //Added a check if line breaks should be forced even without line numbers, fixes SF#1727398
2400 // this is used for single-line comments
2731 // Are line numbers used? If, we should end the string before
2840 // Are line numbers used? If, we should end the string before
2885 // If we haven't matched a regexp comment, try multi-line comments
2982 // If we haven't matched a multiline comment, try single-line comments
2984 // cache potential single line comment occurances
3130 $line = $lines[$key];
3131 if (false === strpos($line, "\t")) {
3136 $length = strlen($line);
3141 $char = $line[$i];
3144 // in the line and only workout the tab replacement
3158 $substr = substr($line, $i + 3, 5);
3183 if (false === strpos($line, "\t", $i + 1)) {
3184 $lines[$key] .= substr($line, $i + 1);
3845 // If we are using IDs for line numbers, there needs to be an overall
3856 // If we're using line numbers, we insert <li>s and appropriate
3860 // the <pre> will line-break them (and the <li>s already do this for us)
3863 // Foreach line...
3865 //Reset the attributes for a new line ...
3874 // If this is a "special line"...
3877 // Set the attributes to style the line
3887 // code on that line
3902 //Check which type of tag to insert for this line
3919 //Is this some line with extra styles???
3932 // Add in the line surrounded by appropriate list HTML
3968 // Set the attributes to style the line
3974 // code on that line
3980 //Is this some line with extra styles???
4004 // No line numbers, but still need to handle highlighting lines extra.
4016 // Set the attributes to style the line
4022 // code on that line
4028 //Is this some line with extra styles???
4386 // Set the <ol> to have no effect at all if there are line numbers
4439 // Simple line number styles
4446 // If there is a style set for fancy line numbers, echo it out
4539 * Get's the style that is used for the specified line
4541 * @param int $line The line number information is requested for
4544 protected function get_line_style($line) {
4546 if (isset($this->highlight_extra_lines_styles[$line])) {
4547 $style = $this->highlight_extra_lines_styles[$line];