Some simplifications (redundant code).

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index bb7830888903a74577b41370b3f9eaf218dc9a14..28969b74803692b9657c3b18baa7075a6287f914 100644 (file)
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -45,12 +45,6 @@
      <script>
        document.write('<a target="_top" href="' +
          getParam('topurl') + '/html/library/index.html' +
-        '?mode=' + getParam('mode') +
-        '&cicuri=' + getParam('cicuri') +
-        '&theoryuri=' + getParam('theoryuri') +
-        '&processorURL=' + getParam('processorURL') +
-        '&getterURL=' + getParam('getterURL') +
-        '&UNICODEvsSYMBOL=' + getParam('UNICODEvsSYMBOL') +
         '" onClick="refreshReload()">Reload</a>');
      </script>
      <br>
@@ -87,12 +81,6 @@
     <td>
      <script>
        document.write('<a target="_top" href="../../html/index.html' +
-         '?mode=' + getParam('mode') +
-        '&cicuri=' + getParam('cicuri') +
-        '&theoryuri=' + getParam('theoryuri') +
-        '&processorURL=' + getParam('processorURL') +
-        '&getterURL=' + getParam('getterURL') +
-        '&UNICODEvsSYMBOL=' + getParam('UNICODEvsSYMBOL') +
         '" onClick="refreshReload()">Configuration Panel</a>');
      </script>
      <br>