X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=08840663cd5f361996b61e7b6aa568ce1ab3fc53;hb=4020414d9bc31b545e311760045d4ce8f0645916;hp=791a8b28a14edabccd73634966cf40b83be80097;hpb=d1132a3652b678eeece55c9163f21091ec42ae84;p=helm.git

diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
index 791a8b28a..08840663c 100644
--- a/helm/on-line/html/control.html
+++ b/helm/on-line/html/control.html
@@ -112,6 +112,72 @@ and
 
 <br />
 
+<table border="0">
+  <tr>
+    <th colspan="2" align="left">Graph Drawer URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="draw_graphURL">
+        <script>
+	  document.write('<input type="text" value="' + getInitialDrawGraphURL() + '" size="50"/>');
+	</script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectDrawGraphURL(this)">
+	  <option value="">---</option>
+	  <option value="localhost">localhost</option>
+	  <option value="marcello.cs.unibo.it">marcello</option>
+	  <option value="phd.cs.unibo.it">phd</option>
+	  <option value="eolo.cs.unibo.it">eolo</option>
+	</select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="top.result.location = getDrawGraphURL() + 'help'"/>
+      </form>
+    </td>
+  </tr>
+</table>
+
+<br />
+
+<table border="0">
+  <tr>
+    <th colspan="2" align="left">URI-Set URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="uri_set_queueURL">
+        <script>
+	  document.write('<input type="text" value="' + getInitialURISetQueueURL() + '" size="50"/>');
+	</script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectURISetQueueURL(this)">
+	  <option value="">---</option>
+	  <option value="localhost">localhost</option>
+	  <option value="marcello.cs.unibo.it">marcello</option>
+	  <option value="phd.cs.unibo.it">phd</option>
+	  <option value="eolo.cs.unibo.it">eolo</option>
+	</select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="top.result.location = getURISetQueueURL() + 'help'"/>
+      </form>
+    </td>
+  </tr>
+</table>
+
+<br />
+
 <table border="0">
   <tr>
     <th colspan="2" align="left">Browser</th>