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

diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index 258163f97..def3da2be 100644
--- a/helm/uwobo-panel/control.js
+++ b/helm/uwobo-panel/control.js
@@ -103,22 +103,22 @@ function getStylesheetURL()
 
 function loadStylesheet()
 {
-  top.result.location = getUwoboURL() + "add?xsluri=" + getStylesheetURL() + "&key=" + document.stylesheetKey.elements[0].value;
+  top.result.location.replace(getUwoboURL() + "add?xsluri=" + getStylesheetURL() + "&key=" + document.stylesheetKey.elements[0].value);
 }
 
 function removeStylesheet()
 {
-  top.result.location = getUwoboURL() + "remove?key=" + document.stylesheetKey.elements[0].value;
+  top.result.location.replace(getUwoboURL() + "remove?key=" + document.stylesheetKey.elements[0].value);
 }
 
 function removeAllStylesheets()
 {
-  top.result.location = getUwoboURL() + "remove";
+  top.result.location.replace(getUwoboURL() + "remove");
 }
 
 function reloadStylesheet()
 {
-  top.result.location = getUwoboURL() + "reload?key=" + document.stylesheetKey.elements[0].value;
+  top.result.location.replace(getUwoboURL() + "reload?key=" + document.stylesheetKey.elements[0].value);
 }
 
 function loadAllPredefined()
@@ -182,5 +182,5 @@ function applyStylesheets()
         url += "&param." + paramList[i];
     }
   
-  top.result.location = url;
+  top.result.location.replace(url);
 }