From 8c719794fe6bb6f32d7fe1ebef6906df8e4aea80 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 4 Jun 2009 14:29:42 +0000
Subject: [PATCH] cosmetic

---
 planetlab/sites/site.php |  9 +++++----
 plekit/php/table.php     | 11 +++++++----
 2 files changed, 12 insertions(+), 8 deletions(-)

diff --git a/planetlab/sites/site.php b/planetlab/sites/site.php
index 7983a04..887adcf 100644
--- a/planetlab/sites/site.php
+++ b/planetlab/sites/site.php
@@ -305,8 +305,9 @@ if ( $local_peer ) {
   $headers['User']='string';
   $headers["Tech"]='string';
   if ($has_disabled_persons) $headers["Disabled"]='string';
+  $notes=array('S = slices');
   $table=new PlekitTable('persons',$headers,'1r-3r-0',array('search_area'=>false,
-							    'notes_area'=>false,
+							    'notes'=>$notes,
 							    'pagesize_area'=>false));
   $table->start();
   if ($persons) foreach ($persons as $person) {
@@ -340,9 +341,9 @@ if ( $local_peer ) {
   $headers ['I'] = 'string';
   $headers ['N']='int';
   $headers ['U']='int';
-  $notes=array('I column shows instantiation type',
-	       'N column shows number of nodes',
-	       'U column shows number of users');
+  $notes=array('I = instantiation type',
+	       'N = number of nodes',
+	       'U = number of users');
   $table=new PlekitTable ('slices',$headers,0,array('search_area'=>false,
 						    'pagesize_area'=>false,
 						    'notes'=>$notes));
diff --git a/plekit/php/table.php b/plekit/php/table.php
index bb63155..63a9506 100644
--- a/plekit/php/table.php
+++ b/plekit/php/table.php
@@ -220,15 +220,18 @@ EOF;
 
   ////////////////////////////////////////
   function notes_area_html () {
-    $default_notes =  array(
-	"Enter &amp; or | in the search area to switch between <span class='bold'>AND</span> and <span class='bold'>OR</span> search modes",
-	"Hold down the shift key to select multiple columns to sort");
+    $search_notes =  
+      array("Enter &amp; or | in the search area to switch between <span class='bold'>AND</span> and <span class='bold'>OR</span> search modes");
+    $sort_notes = 
+      array ("Hold down the shift key to select multiple columns to sort");
 
     if ($this->notes)
       $notes=$this->notes;
     else
       $notes=array();
-    $notes=array_merge($notes,$default_notes);
+    $notes=array_merge($notes,$sort_notes);
+    if ($this->search_area)
+      $notes=array_merge($notes,$search_notes);
     if (! $notes)
       return "";
     $result = "";
-- 
2.47.0