control.html, control.js: now commands replace the history, so that

[helm.git] / helm / uwobo-panel / control.js

diff --git a/helm/uwobo-panel/control.js b/helm/uwobo-panel/control.js
index 258163f97e71395d721f5ad94a85b25b8ce1e1ee..def3da2be7db4b037c39e671a4e534ba706156c6 100644 (file)
--- 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);
 }