This commit was manufactured by cvs2svn to create branch 'start'.

[helm.git] / helm / on-line / html / library / control.html
diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html

new file mode 100644 (file)

index 0000000..8450f32
--- /dev/null
+++ b/helm/on-line/html/library/control.html
@@ -0,0 +1,91 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
+"http://www.w3.org/TR/REC-html40/loose.dtd">
+<html>
+<head>
+<title>Control panel</title>
+<script language="JavaScript" src="../../javascript/defaults.js"></script>
+<script language="JavaScript" src="../../javascript/utils.js"></script>
+<script language="JavaScript" src="../../javascript/control.js"></script>
+</head>
+<body bgcolor="#ffffff" text="#000000">
+<form>
+<table>
+  <tr>
+    <td>
+      <b>Format</b>:
+    </td>
+    <td>
+      <select name="output" onChange="updateOutput(this,document.forms[0].format)">
+      <script>
+       var mode = getParam('mode');
+       var mode_list = mode.split(',');
+       outputOption(document, "processed", "Processed", mode_list[0]);
+       outputOption(document, "raw", "Raw", mode_list[0]);
+      </script>
+      </select>
+    </td>
+    <td>
+      <select name="format" onChange="updateFormat(this)">
+      <script>
+       var mode = getParam('mode');
+       var mode_list = mode.split(',');
+       if (mode_list[0] == "raw") {
+         outputOption(document, "cic", "CIC", mode_list[1]);
+         outputOption(document, "zcic", "CIC GZipped", mode_list[1]);
+       } else {
+         outputOption(document, "html", "HTML", mode_list[2]);
+         outputOption(document, "mml_cont", "MathML Content", mode_list[2]);
+         outputOption(document, "mml_pres", "MathML Presentation", mode_list[2]);
+       }
+      </script>
+      </select>
+    </td>
+    <td>
+     <script>
+       document.write('<a target="_top" href="' +
+         getParam('topurl') +
+        '?mode=' + getParam('mode') +
+        '&cicuri=' + getParam('cicuri') +
+        '&theoryuri=' + getParam('theoryuri') +
+        '&processorURL=' + getParam('processorURL') +
+        '&getterURL=' + getParam('getterURL') +
+        '" onClick="refreshReload()">Reload</a>');
+     </script>
+     <br>
+     (do it also before attempting to take a link to the current page)
+     <script>
+       top.processorURL = getParam('processorURL');
+       top.getterURL = getParam('getterURL');
+       top.topurl = getParam('topurl');
+       top.mode = getParam('mode');
+       top.cicuri = getParam('cicuri');
+       top.theoryuri = getParam('theoryuri');
+     </script>
+    </td>
+  </tr>
+  <tr>
+    <td colspan="3">
+      <script>
+       var mode = getParam('mode');
+       var mode_list = mode.split(',');
+        outputCheckbox(document, "updateNatural(this)", "&nbsp;Natural Language", mode_list[3] == "yes");
+        outputCheckbox(document, "updateAnnotations(this)", "&nbsp;Annotations", mode_list[4] == "yes");
+      </script>
+    </td>
+    <td>
+     <script>
+       document.write('<a target="_top" href="../../html/index.html' +
+         '?mode=' + getParam('mode') +
+        '&cicuri=' + getParam('cicuri') +
+        '&theoryuri=' + getParam('theoryuri') +
+        '&processorURL=' + getParam('processorURL') +
+        '&getterURL=' + getParam('getterURL') +
+        '">Configuration Panel</a>');
+     </script>
+     <br>
+    </td>
+  </tr>
+</table>
+</form>
+</body>
+</html>