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') + '/html/library/index.html' +
  48          '" onClick="refreshReload()">Reload</a>');
  49      </script>
  50      <br>
  51      (do it also before attempting to take a link to the current page)
  52      <script>
  53        top.processorURL = getParam('processorURL');
  54        top.getterURL = getParam('getterURL');
  55        top.UNICODEvsSYMBOL = getParam('UNICODEvsSYMBOL');
  56        top.topurl = getParam('topurl');
  57        top.mode = getParam('mode');
  58        top.cicuri = getParam('cicuri');
  59        top.theoryuri = getParam('theoryuri');
  60      </script>
  61     </td>
  62   </tr>
  63   <tr>
  64     <td colspan="3">
  65       <script>
  66         var mode = getParam('mode');
  67         var mode_list = mode.split(',');
  68         if (mode_list[0] == "raw") {
  69          outputCheckbox(document, "updateCompressed(this)",
  70           "&nbsp;Compressed", mode_list[5] == "yes");
  71          outputCheckbox(document, "updateDTDPatched(this)",
  72           "&nbsp;Resolve DTD URL", mode_list[6] == "yes");
  73         } else {
  74          outputCheckbox(document, "updateNatural(this)",
  75           "&nbsp;Natural Language", mode_list[3] == "yes");
  76          outputCheckbox(document, "updateAnnotations(this)",
  77           "&nbsp;Annotations", mode_list[4] == "yes");
  78         }
  79       </script>
  80     </td>
  81     <td>
  82      <script>
  83        document.write('<a target="_top" href="../../html/index.html' +
  84          '" onClick="refreshReload()">Configuration Panel</a>');
  85      </script>
  86      <br>
  87     </td>
  88   </tr>
  89 </table>
  90 </form>
  91 </body>
  92 </html>