4 |
## $Id$ |
## $Id$ |
5 |
## ------------------------------------------------------------------------- |
## ------------------------------------------------------------------------- |
6 |
## $Log$ |
## $Log$ |
7 |
|
## Revision 1.2 2003/02/28 04:24:17 joko |
8 |
|
## disabled benchmarking |
9 |
|
## - purged old code |
10 |
|
## |
11 |
## Revision 1.1 2003/02/27 16:57:36 joko |
## Revision 1.1 2003/02/27 16:57:36 joko |
12 |
## + initial commit, inherits from BaseWidget, uses pear-bridge |
## + initial commit, inherits from BaseWidget, uses pear-bridge |
13 |
## |
## |
48 |
|
|
49 |
function _init_output() { |
function _init_output() { |
50 |
|
|
51 |
/* |
$this->add('<script src="inc/js/TreeMenu.js" language="JavaScript" type="text/javascript"></script>'); |
|
$this->add(' |
|
|
<style type="text/css"> |
|
|
body { |
|
|
font-family: Georgia; |
|
|
font-size: 11pt; |
|
|
} |
|
|
|
|
|
.treeMenuDefault { |
|
|
font-style: italic; |
|
|
} |
|
|
|
|
|
.treeMenuBold { |
|
|
font-style: italic; |
|
|
font-weight: bold; |
|
|
} |
|
|
</style> |
|
|
'); |
|
|
*/ |
|
52 |
|
|
53 |
|
/* |
54 |
|
// benchmarking - before |
55 |
$this->add(' |
$this->add(' |
|
<script src="inc/js/TreeMenu.js" language="JavaScript" type="text/javascript"></script> |
|
|
|
|
56 |
<script language="JavaScript" type="text/javascript"> |
<script language="JavaScript" type="text/javascript"> |
57 |
<!-- |
<!-- |
58 |
a = new Date(); |
a = new Date(); |
60 |
//--> |
//--> |
61 |
</script> |
</script> |
62 |
'); |
'); |
63 |
|
*/ |
64 |
|
|
65 |
// V1: |
$this->add($this->menuobject->toHTML()); |
|
/* |
|
|
//$this->treeMenu->printMenu(); |
|
|
$this->add("treeMenu: ", html_br(), $this->treeMenu->toHTML(), html_br(), html_br()); |
|
|
//$this->listBox->printMenu(); |
|
|
$this->add("listBox: ", $this->listBox->toHTML()); |
|
|
*/ |
|
|
|
|
|
// V2: |
|
|
$this->add($this->menuobject->toHTML()); |
|
66 |
|
|
67 |
|
/* |
68 |
|
// benchmarking - afterwards |
69 |
$this->add(' |
$this->add(' |
70 |
<script language="JavaScript" type="text/javascript"> |
<script language="JavaScript" type="text/javascript"> |
71 |
<!-- |
<!-- |
76 |
//--> |
//--> |
77 |
</script> |
</script> |
78 |
'); |
'); |
79 |
|
*/ |
80 |
|
|
81 |
} |
} |
82 |
|
|