1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
2 "http://www.w3.org/TR/REC-html40/loose.dtd">
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>
10 <body bgcolor="#ffffff" text="#000000">
18 <select name="output" onChange="updateOutput(this,document.forms[0].format)">
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]);
28 <select name="format" onChange="updateFormat(this)">
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]);
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]);
45 document.write('<a target="_top" href="' +
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>');
55 (do it also before attempting to take a link to the current page)
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');
69 var mode = getParam('mode');
70 var mode_list = mode.split(',');
71 outputCheckbox(document, "updateNatural(this)", " Natural Language", mode_list[3] == "yes");
72 outputCheckbox(document, "updateAnnotations(this)", " Annotations", mode_list[4] == "yes");
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 '" onClick="refreshReload()">Configuration Panel</a>');