| 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 |
|
|