Lines Matching defs:GESHI_HEADER_PRE

74 define('GESHI_HEADER_PRE', 2);
88  * @note when linenumbers are disabled this is essentially the same as GESHI_HEADER_PRE
286      * - GESHI_HEADER_PRE: Source is outputted in a "pre" HTML element.
292     protected $header_type = GESHI_HEADER_PRE;
811      * GESHI_HEADER_PRE means that a "pre" is used - less source, but less
812      * control. Default is GESHI_HEADER_PRE.
823             GESHI_HEADER_PRE, GESHI_HEADER_PRE_VALID, GESHI_HEADER_PRE_TABLE))) {
3837         if ($this->header_type != GESHI_HEADER_PRE && $this->header_type != GESHI_HEADER_PRE_VALID) {
3861             $ls = ($this->header_type != GESHI_HEADER_PRE && $this->header_type != GESHI_HEADER_PRE_VALID) ? "\n" : '';
4099             if ($this->header_type == GESHI_HEADER_PRE || $this->header_type == GESHI_HEADER_PRE_VALID) {
4125             if ($this->header_type == GESHI_HEADER_PRE) {
4134             if ($this->header_type == GESHI_HEADER_PRE) {
4153             if ($this->header_type == GESHI_HEADER_PRE) {