--- nfo/php/libs/com.newsblob.phphtmllib/widgets/SelectNav.inc	2003/02/27 16:57:36	1.1
+++ nfo/php/libs/com.newsblob.phphtmllib/widgets/SelectNav.inc	2003/02/28 04:24:17	1.2
@@ -1,9 +1,13 @@
 <?php
 /*
 ## -------------------------------------------------------------------------
-##  $Id: SelectNav.inc,v 1.1 2003/02/27 16:57:36 joko Exp $
+##  $Id: SelectNav.inc,v 1.2 2003/02/28 04:24:17 joko Exp $
 ## -------------------------------------------------------------------------
 ##  $Log: SelectNav.inc,v $
+##  Revision 1.2  2003/02/28 04:24:17  joko
+##  disabled benchmarking
+##  - purged old code
+##
 ##  Revision 1.1  2003/02/27 16:57:36  joko
 ##  + initial commit, inherits from BaseWidget, uses pear-bridge
 ##
@@ -44,29 +48,11 @@
   
   function _init_output() {
 
-/*
-    $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>
-    ');
-*/
+    $this->add('<script src="inc/js/TreeMenu.js" language="JavaScript" type="text/javascript"></script>');
 
+    /*
+    // benchmarking - before
     $this->add('
-	<script src="inc/js/TreeMenu.js" language="JavaScript" type="text/javascript"></script>
-
     <script language="JavaScript" type="text/javascript">
     <!--
     	a = new Date();
@@ -74,19 +60,12 @@
     //-->
     </script>
 	');
+	*/
 
-    // V1:
-      /*
-      //$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());
+    $this->add($this->menuobject->toHTML());
       
-    
+    /*
+    // benchmarking - afterwards
     $this->add('
     <script language="JavaScript" type="text/javascript">
     <!--
@@ -97,6 +76,7 @@
     //-->
     </script>
     ');
+    */
 
   }