]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/configuration.html
Interface URL can now be setted.
[helm.git] / 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">