helm/on-line/html/library/control.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
   2 "http://www.w3.org/TR/REC-html40/loose.dtd">
   3 <html>
   4 <head>
   5 <title>Control panel</title>
   6 <script language="JavaScript" src="../../javascript/defaults.js"></script>
   7 <script language="JavaScript" src="../../javascript/utils.js"></script>
   8 <script language="JavaScript" src="../../javascript/control.js"></script>
   9 </head>
  10 <body bgcolor="#ffffff" text="#000000">
  11 <form>
  12 <table>
  13   <tr>
  14     <td>
  15       <b>Format</b>:
  16     </td>
  17     <td>
  18       <select name="output" onChange="updateOutput(this,document.forms[0].format)">
  19       <script>
  20         var mode = getParam('mode');
  21         var mode_list = mode.split(',');
  22         outputOption(document, "processed", "Processed", mode_list[0]);
  23         outputOption(document, "raw", "Raw", mode_list[0]);
  24       </script>
  25       </select>
  26     </td>
  27     <td>
  28       <select name="format" onChange="updateFormat(this)">
  29       <script>
  30         var mode = getParam('mode');
  31         var mode_list = mode.split(',');
  32         if (mode_list[0] == "raw") {
  33           outputOption(document, "cic", "CIC", mode_list[1]);
  34           outputOption(document, "zcic", "CIC GZipped", mode_list[1]);
  35         } else {
  36           outputOption(document, "html", "HTML", mode_list[2]);
  37           outputOption(document, "mml_cont", "MathML Content", mode_list[2]);
  38           outputOption(document, "mml_pres", "MathML Presentation", mode_list[2]);
  39         }
  40       </script>
  41       </select>
  42     </td>
  43     <td>
  44      <script>
  45        document.write('<a target="_top" href="' +
  46          getParam('topurl') +
  47          '?mode=' + getParam('mode') +
  48          '&cicuri=' + getParam('cicuri') +
  49          '&theoryuri=' + getParam('theoryuri') +
  50          '&processorURL=' + getParam('processorURL') +
  51          '&getterURL=' + getParam('getterURL') +
  52          '" onClick="refreshReload()">Reload</a>');
  53      </script>
  54      <br>
  55      (do it also before attempting to take a link to the current page)
  56      <script>
  57        top.processorURL = getParam('processorURL');
  58        top.getterURL = getParam('getterURL');
  59        top.topurl = getParam('topurl');
  60        top.mode = getParam('mode');
  61        top.cicuri = getParam('cicuri');
  62        top.theoryuri = getParam('theoryuri');
  63      </script>
  64     </td>
  65   </tr>
  66   <tr>
  67     <td colspan="3">
  68       <script>
  69         var mode = getParam('mode');
  70         var mode_list = mode.split(',');
  71         outputCheckbox(document, "updateNatural(this)", "&nbsp;Natural Language", mode_list[3] == "yes");
  72         outputCheckbox(document, "updateAnnotations(this)", "&nbsp;Annotations", mode_list[4] == "yes");
  73       </script>
  74     </td>
  75     <td>
  76      <script>
  77        document.write('<a target="_top" href="../../html/index.html' +
  78          '?mode=' + getParam('mode') +
  79          '&cicuri=' + getParam('cicuri') +
  80          '&theoryuri=' + getParam('theoryuri') +
  81          '&processorURL=' + getParam('processorURL') +
  82          '&getterURL=' + getParam('getterURL') +
  83          '">Configuration Panel</a>');
  84      </script>
  85      <br>
  86     </td>
  87   </tr>
  88 </table>
  89 </form>
  90 </body>
  91 </html>