9 |
$this->dir=$dir; |
$this->dir=$dir; |
10 |
$this->encoding="ascii"; |
$this->encoding="ascii"; |
11 |
$this->line_numbers=false; |
$this->line_numbers=false; |
12 |
|
$this->tabwidth=0;//zero means that we haven't specified it |
13 |
$this->default_lang=$default_lang; |
$this->default_lang=$default_lang; |
14 |
} |
} |
15 |
|
|
51 |
} |
} |
52 |
} |
} |
53 |
|
|
54 |
|
// only if the tabwidth value is non-zero will this |
55 |
|
// flag be shown |
56 |
if($this->tabwidth)$cmd.=" --replace-tabs=".$this->tabwidth; |
if($this->tabwidth)$cmd.=" --replace-tabs=".$this->tabwidth; |
57 |
|
|
58 |
$css = $this->dir . "/" . "highlight.css"; |
$css = $this->dir . "/" . "highlight.css"; |