]> matita.cs.unibo.it Git - helm.git/commitdiff
Interface URL can now be setted.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Jun 2004 10:11:42 +0000 (10:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Jun 2004 10:11:42 +0000 (10:11 +0000)
helm/on-line/html/configuration.html

index 3139d63caa48d7c328aa215447fce84c30933471..6ca9cd14a18d2b943e0ce04f6dbacd117e97e7af 100644 (file)
@@ -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">