Lines Matching defs:use

7  * information about how to use this class.
37 // You should use these constant names in your programs instead of
60 // Line numbers - use with enable_line_numbers()
134 matched search to use as a replacement */
144 /** The key of the regex array defining a custom keyword to use
198 // Error detection - use these to analyse faults
219 * about how to use this class.
235 * The language to use when highlighting
277 * Whether to use CSS classes in output
283 * The type of header to use. Can be one of the following
477 * Should we use language-defined tab stop widths?
489 * The encoding to use for entity encoding
525 * use <code>preg_replace_callback()</code> instead
649 * @param string $language The name of the language to use
814 * From 1.0.7.2, you can use GESHI_HEADER_NONE to specify that no header code
854 * @param string $class The class name to use for this block of code
865 * @param string $id The ID to use for this block of code
894 * @param string $style The style to use for actual code
1104 * This method is DEPRECATED: use set_symbols_style instead.
1124 * This method is DEPRECATED: use set_symbols_highlighting instead.
1326 * Sets the case that keywords should use when found. Use the constants:
1361 * Sets whether or not to use tab-stop width specifed by language
1363 * @param boolean $use Whether to use language-specific tab-stop widths
1366 public function set_use_language_tab_width($use) {
1367 $this->use_language_tab_width = (bool) $use;
1371 * Returns the tab width to use, based on the current language and user
1389 * for more details on strict mode and where to use it.
1442 * @param array $lookup A lookup array to use instead of the default one
1551 * @param array $lookup A lookup array to use instead of the default one
1617 * @param array $words The words to use for the keyword group
1757 * @param string $styles The styles to use for that state
1781 * @param string $styles The styles to use on important parts of the code
1817 * @param string $style A string specifying the style to use for this line.
1835 //Decide on which style to use
1836 if ($style === null) { //Check if we should use default style
1874 * care about then don't use this method. Firefox is getting
1895 * @param string $encoding The encoding to use for the source
2211 // we use a copy to unset delimiters on demand (when they are not found)
3173 // to use instead of building a string every time
3295 * @note this is a callback, don't use it directly
3309 * @note this is a callback, don't use it directly
3723 * Gets language information and stores it for later use
3769 // we can use empty here since we only check for existance and emptiness of an array
3914 // Are we supposed to use ids? If so, add them
4005 // Have to use divs so the full width of the code is highlighted
4263 * In the OUTPUT there is a minor difference in that we use '&#39;' instead
4270 * Like PHP we use a numeric character reference instead of '&apos;' for the
4271 * single quote. For the other special characters we use the named entity
4337 * @param boolean $economy_mode Whether to use economy mode or not
4577 // the tokens which we will use to generate the regexp list