From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 14 Mar 2001 16:17:08 +0000 (+0000)
Subject: Configuration on-line now pass the parameters
X-Git-Tag: v0_1_2~81
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4af7cefe3147a8332a96d44e396e4aa9ec8cd78d;hp=97829180b4bc5a72291eeb8156b15b3922f07048;p=helm.git

Configuration on-line now pass the parameters
---

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index 8450f3244..7b8806e2b 100644
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -80,7 +80,7 @@
 	 '&theoryuri=' + getParam('theoryuri') +
 	 '&processorURL=' + getParam('processorURL') +
 	 '&getterURL=' + getParam('getterURL') +
-	 '">Configuration Panel</a>');
+	 '" onClick="refreshReload()">Configuration Panel</a>');
      </script>
      <br>
     </td>