From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 10 Jun 2004 10:11:42 +0000 (+0000)
Subject: Interface URL can now be setted.
X-Git-Tag: pre_subst_in_kernel~37
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7cc1797b95fb6daf84d9a1b99cacbc780ff79b09;p=helm.git

Interface URL can now be setted.
---

diff --git a/helm/on-line/html/configuration.html b/helm/on-line/html/configuration.html
index 3139d63ca..6ca9cd14a 100644
--- a/helm/on-line/html/configuration.html
+++ b/helm/on-line/html/configuration.html
@@ -235,6 +235,27 @@ bottom of the page.
       </form>
     </td>
   </tr>
+  <tr>
+    <th colspan="2" align="left">Interface URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="interfaceURL">
+        <script>
+	  var defaultValue = '<uwobo:key name="interfaceURL"/>';
+	  document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+	</script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectInterfaceURL(this)">
+	  <option value="">---</option>
+	  <option value="mowgli">helm</option>
+	</select>
+      </form>
+    </td>
+  </tr>
 </table>
 <br />
 <table border="0">