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, "types", "TYPES", mode_list[1]);
  35           outputOption(document, "ann",   "ANN", mode_list[1]);
  36         } else {
  37           outputOption(document, "html", "HTML", mode_list[2]);
  38           outputOption(document, "mml_cont", "MathML Content", mode_list[2]);
  39           outputOption(document, "mml_pres", "MathML Presentation", mode_list[2]);
  40         }
  41       </script>
  42       </select>
  43     </td>
  44     <td>
  45      <script>
  46        document.write('<a target="_top" href="' +
  47          getParam('topurl') +
  48          '?mode=' + getParam('mode') +
  49          '&cicuri=' + getParam('cicuri') +
  50          '&theoryuri=' + getParam('theoryuri') +
  51          '&processorURL=' + getParam('processorURL') +
  52          '&getterURL=' + getParam('getterURL') +
  53          '" onClick="refreshReload()">Reload</a>');
  54      </script>
  55      <br>
  56      (do it also before attempting to take a link to the current page)
  57      <script>
  58        top.processorURL = getParam('processorURL');
  59        top.getterURL = getParam('getterURL');
  60        top.topurl = getParam('topurl');
  61        top.mode = getParam('mode');
  62        top.cicuri = getParam('cicuri');
  63        top.theoryuri = getParam('theoryuri');
  64      </script>
  65     </td>
  66   </tr>
  67   <tr>
  68     <td colspan="3">
  69       <script>
  70         var mode = getParam('mode');
  71         var mode_list = mode.split(',');
  72         if (mode_list[0] == "raw") {
  73          outputCheckbox(document, "updateCompressed(this)",
  74           "&nbsp;Compressed", mode_list[5] == "yes");
  75          outputCheckbox(document, "updateDTDPatched(this)",
  76           "&nbsp;Resolve DTD URL", mode_list[6] == "yes");
  77         } else {
  78          outputCheckbox(document, "updateNatural(this)",
  79           "&nbsp;Natural Language", mode_list[3] == "yes");
  80          outputCheckbox(document, "updateAnnotations(this)",
  81           "&nbsp;Annotations", mode_list[4] == "yes");
  82         }
  83       </script>
  84     </td>
  85     <td>
  86      <script>
  87        document.write('<a target="_top" href="../../html/index.html' +
  88          '?mode=' + getParam('mode') +
  89          '&cicuri=' + getParam('cicuri') +
  90          '&theoryuri=' + getParam('theoryuri') +
  91          '&processorURL=' + getParam('processorURL') +
  92          '&getterURL=' + getParam('getterURL') +
  93          '" onClick="refreshReload()">Configuration Panel</a>');
  94      </script>
  95      <br>
  96     </td>
  97   </tr>
  98 </table>
  99 </form>
 100 </body>
 101 </html>