checkpoint

[plewww.git] / planetlab / js / plc_tables.js

diff --git a/planetlab/js/plc_tables.js b/planetlab/js/plc_tables.js
index aecc1a2..9207def 100644 (file)
--- a/planetlab/js/plc_tables.js
+++ b/planetlab/js/plc_tables.js
@@ -1,4 +1,4 @@
-/* $Id: plc_paginate.js 11544 2009-01-13 13:54:34Z thierry $ */
+/* $Id$ */
 
 /* when a table gets paginated, displays context info */
 function plc_table_paginator (opts,tablename) {
@@ -41,7 +41,7 @@ function plc_table_paginator (opts,tablename) {
   p.className = "paginationText";    
   p.appendChild(document.createTextNode(label));
 
-  t.insertBefore(p.cloneNode(true), t.firstChild);
+  /*  t.insertBefore(p.cloneNode(true), t.firstChild); */
   b.appendChild(p);
 }