]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo-panel/control.js
* syntax update for "remove all stylesheets" in control.js
[helm.git] / helm / uwobo-panel / control.js
index cd04429c0ddfc29c27212ee7efb4401e8e4c060c..e9376ec97c8b52cb2aa7cbf5155387d1c4b2719c 100644 (file)
@@ -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]) {