X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.js;h=e9376ec97c8b52cb2aa7cbf5155387d1c4b2719c;hb=54c135065412e4af07be487b453dbac7c2b45034;hp=6b13ab8a0fb9580ba58b94519bc0c22d11375bb4;hpb=31c8d5e7f721937c06cfb10eaed4b59b6499ec11;p=helm.git

diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index 6b13ab8a0..e9376ec97 100644
--- a/helm/uwobo-panel/control.js
+++ b/helm/uwobo-panel/control.js
@@ -13,6 +13,11 @@ function getParam(name, def)
   return value;
 }
 
+function getInitialPort()
+{
+  return "68080";
+}
+
 function getInitialProcessorURL()
 {
   return getParam("processorURL", "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/");
@@ -113,7 +118,7 @@ function removeStylesheet()
 
 function removeAllStylesheets()
 {
-  top.result.location.replace(getUwoboURL() + "remove");
+  top.result.location.replace(getUwoboURL() + "remove?keys=");
 }
 
 function reloadStylesheet()
@@ -121,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]) {