From 54c135065412e4af07be487b453dbac7c2b45034 Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Wed, 16 Jul 2003 08:39:41 +0000
Subject: [PATCH] * syntax update for "remove all stylesheets" in control.js *
 reloadAll function created

---
 helm/uwobo-panel/control.html | 2 +-
 helm/uwobo-panel/control.js   | 7 ++++++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html
index e9e80d831..3f68abb91 100644
--- a/helm/uwobo-panel/control.html
+++ b/helm/uwobo-panel/control.html
@@ -370,7 +370,7 @@ care, and remember that the servlet can be shared among different users:
   </td>
   <td>
     <form>
-      <input type="button" value="Reload All" onClick="top.result.location.replace(getUwoboURL() + 'reload?keys=')"/>
+      <input type="button" value="Reload All" onClick="reloadAllStylesheets()"/>
     </form>
   </td>
 </tr>
diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index cd04429c0..e9376ec97 100644
--- a/helm/uwobo-panel/control.js
+++ b/helm/uwobo-panel/control.js
@@ -118,7 +118,7 @@ function removeStylesheet()
 
 function removeAllStylesheets()
 {
-  top.result.location.replace(getUwoboURL() + "remove");
+  top.result.location.replace(getUwoboURL() + "remove?keys=");
 }
 
 function reloadStylesheet()
@@ -126,6 +126,11 @@ function reloadStylesheet()
   top.result.location.replace(getUwoboURL() + "reload?keys=" + document.stylesheetKey.elements[0].value);
 }
 
+function reloadAllStylesheets()
+{
+  top.result.location.replace(getUwoboURL() + 'reload?keys=');
+}
+
 function loadAllPredefined()
 {
   with (document.predefinedStylesheets.elements[0]) {
-- 
2.39.2