From 1e8d38a37f3fe0ecc7fb76ea1a0d9a5531687b42 Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Fri, 6 Apr 2001 14:15:26 +0000 Subject: [PATCH] control.html, control.js: now commands replace the history, so that the back button in the browser returns immediately to the previous page (and not the previous command result) --- helm/uwobo-panel/control.html | 10 +++++----- helm/uwobo-panel/control.js | 10 +++++----- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html index 91c2e0714..15f2a4223 100644 --- a/helm/uwobo-panel/control.html +++ b/helm/uwobo-panel/control.html @@ -97,7 +97,7 @@ The following is the URL used to contact the UWOBO servlet. Note that the servle
- +
@@ -136,7 +136,7 @@ running UWOBO and not your machine.
- +
@@ -169,7 +169,7 @@ The following are commands to do some simple queries about the UWOBO servlet. -
+
@@ -177,7 +177,7 @@ The following are commands to do some simple queries about the UWOBO servlet. -
+
@@ -307,7 +307,7 @@ care, and remember that the servlet can be shared among different users:
- +
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 += "¶m." + paramList[i]; } - top.result.location = url; + top.result.location.replace(url); } -- 2.39.2