checkpoint

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

diff --git a/planetlab/js/plc_tables.js b/planetlab/js/plc_tables.js
index 7226ab4..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,13 +41,13 @@ 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);
 }
 
 
 /* locates a table from its id and alters the classname to reflect new table size */
-function plc_table_setsize (table_id,size_id,def_size) {
+function plc_pagesize_set (table_id,size_id,def_size) {
   var table=document.getElementById(table_id);
   var size_area=document.getElementById(size_id);
   if ( ! size_area.value ) {
@@ -58,7 +58,7 @@ function plc_table_setsize (table_id,size_id,def_size) {
   tablePaginater.init(table_id);
 }
 
-function plc_table_size_reset(table_id, size_id, size) {
+function plc_pagesize_reset(table_id, size_id, size) {
   var table=document.getElementById(table_id);
   var size_area=document.getElementById(size_id);
   size_area.value=size;