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

diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index 258163f97..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/");
@@ -103,35 +108,40 @@ function getStylesheetURL()
 
 function loadStylesheet()
 {
-  top.result.location = getUwoboURL() + "add?xsluri=" + getStylesheetURL() + "&key=" + document.stylesheetKey.elements[0].value;
+  top.result.location.replace(getUwoboURL() + "add?bind=" + document.stylesheetKey.elements[0].value + "," + getStylesheetURL());
 }
 
 function removeStylesheet()
 {
-  top.result.location = getUwoboURL() + "remove?key=" + document.stylesheetKey.elements[0].value;
+  top.result.location.replace(getUwoboURL() + "remove?keys=" + document.stylesheetKey.elements[0].value);
 }
 
 function removeAllStylesheets()
 {
-  top.result.location = getUwoboURL() + "remove";
+  top.result.location.replace(getUwoboURL() + "remove?keys=");
 }
 
 function reloadStylesheet()
 {
-  top.result.location = getUwoboURL() + "reload?key=" + document.stylesheetKey.elements[0].value;
+  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]) {
     var i;
+    var request = "";
 
     for (i = 1; i < length; i++)
-      open(getUwoboURL() +
-	"add?xsluri=" +  escape((getPredefinedStylesheetUseGetter(i) == "true" ? (getGetterURL() + "getxslt?uri=") : "") + getPredefinedStylesheetURI(i)) +
-	"&key=" + getPredefinedStylesheetKey(i),
-	getPredefinedStylesheetKey(i),
-	"toolbar=0,location=0,directories=0,status=0,menubar=0,width=400,height=200");
+      request +=
+        (request == "" ? "" : "&") +
+        "bind=" + getPredefinedStylesheetKey(i) + "," +  escape((getPredefinedStylesheetUseGetter(i) == "true" ? (getGetterURL() + "getxslt?uri=") : "") + getPredefinedStylesheetURI(i));
+    top.result.location.replace(getUwoboURL() + "add?" + request);
   }
 }
 
@@ -139,11 +149,11 @@ function removeAllPredefined()
 {
   with (document.predefinedStylesheets.elements[0]) {
     var i;
+    var request = "";
 
     for (i = 1; i < length; i++)
-      open(getUwoboURL() + "remove?key=" + getPredefinedStylesheetKey(i),
-	getPredefinedStylesheetKey(i),
-	"toolbar=0,location=0,directories=0,status=0,menubar=0,width=400,height=200");
+      request += getPredefinedStylesheetKey(i) + (i == length - 1 ? "" : ",");
+    top.result.location.replace(getUwoboURL() + "remove?keys=" + request);
   }
 }
 
@@ -182,5 +192,5 @@ function applyStylesheets()
         url += "&param." + paramList[i];
     }
   
-  top.result.location = url;
+  top.result.location.replace(url);
 }