X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.js;h=6b13ab8a0fb9580ba58b94519bc0c22d11375bb4;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=def3da2be7db4b037c39e671a4e534ba706156c6;hpb=1e8d38a37f3fe0ecc7fb76ea1a0d9a5531687b42;p=helm.git diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js index def3da2be..6b13ab8a0 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,20 @@ 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 = ""; 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 +139,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); } }