From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 6 Nov 2001 18:46:01 +0000 (+0000)
Subject: New version for UWOBO 1.2.
X-Git-Tag: v0_1_3~18
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2ddb9ae9d010e6e6508712d1db0df33dd6a1c4ad;p=helm.git

New version for UWOBO 1.2.
---

diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index def3da2be..0202f25c8 100644
--- a/helm/uwobo-panel/control.js
+++ b/helm/uwobo-panel/control.js
@@ -103,12 +103,12 @@ function getStylesheetURL()
 
 function loadStylesheet()
 {
-  top.result.location.replace(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.replace(getUwoboURL() + "remove?key=" + document.stylesheetKey.elements[0].value);
+  top.result.location.replace(getUwoboURL() + "remove?keys=" + document.stylesheetKey.elements[0].value);
 }
 
 function removeAllStylesheets()
@@ -118,20 +118,19 @@ function removeAllStylesheets()
 
 function reloadStylesheet()
 {
-  top.result.location.replace(getUwoboURL() + "reload?key=" + document.stylesheetKey.elements[0].value);
+  top.result.location.replace(getUwoboURL() + "reload?keys=" + document.stylesheetKey.elements[0].value);
 }
 
 function loadAllPredefined()
 {
   with (document.predefinedStylesheets.elements[0]) {
     var i;
+    var request = "dummy=0";
 
     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 +=
+        "&bind=" + getPredefinedStylesheetKey(i) + "," +  escape((getPredefinedStylesheetUseGetter(i) == "true" ? (getGetterURL() + "getxslt?uri=") : "") + getPredefinedStylesheetURI(i));
+    top.result.location.replace(getUwoboURL() + "add?" + request);
   }
 }
 
@@ -139,11 +138,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) + ",";
+    top.result.location.replace(getUwoboURL() + "remove?keys=" + request);
   }
 }