From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 10 Jun 2004 10:12:02 +0000 (+0000)
Subject: Interface URL can now be setted using the control panel.
X-Git-Tag: pre_subst_in_kernel~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fd119a9a96b5f7923e95ee93092b94a69e318299;p=helm.git

Interface URL can now be setted using the control panel.
---

diff --git a/helm/on-line/javascript/prelude.js b/helm/on-line/javascript/prelude.js
index 530f9913f..8c60c6c08 100644
--- a/helm/on-line/javascript/prelude.js
+++ b/helm/on-line/javascript/prelude.js
@@ -33,6 +33,11 @@ function getRdflyURL()
   return document.rdflyURL.elements[0].value;
 }
 
+function getInterfaceURL()
+{
+  return document.interfaceURL.elements[0].value;
+}
+
 function getUNICODEvsSYMBOL()
 {
   if (document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].checked)
@@ -62,6 +67,7 @@ function getUpdateURL()
     '&param.draw_graphURL=' + escape(getDrawGraphURL()) +
     '&param.proofcheckerURL=' + escape(getProofCheckerURL()) +
     '&param.rdflyURL=' + escape(getRdflyURL()) +
+    '&param.interfaceURL=' + escape(getInterfaceURL()) +
     '&param.naturalLanguage=' + escape(getNaturalLanguage()) +
     '&param.uri_set_size=' + escape(getMaxGraphSize()) +
     '&param.UNICODEvsSYMBOL=' + escape(getUNICODEvsSYMBOL());
@@ -121,6 +127,15 @@ function selectRdflyURL(ss)
   }
 }
 
+function selectInterfaceURL(ss)
+{
+  if (ss.selectedIndex == 0) {
+    document.interfaceURL.elements[0].value = "";
+  } else {
+    document.interfaceURL.elements[0].value = "http://helm.cs.unibo.it/helm";
+  }
+}
+
 function selectProfile(ss, interfaceURL)
 {
   location = getUwoboURL() +