-
function updateMode(i, s)
{
var mode = top.mode;
refreshReload();
}
+function updateCompressed(checkbox)
+{
+ if (checkbox.checked) updateMode(5, "gz");
+ else updateMode(5, "normal");
+ refreshReload();
+}
+
+function updateDTDPatched(checkbox)
+{
+ if (checkbox.checked) updateMode(6, "yes");
+ else updateMode(6, "no");
+ refreshReload();
+}
+
function refreshReload()
{
var search =
else format = mode_list[2];
if (output == "raw") {
- url = getterURL + "getxml?uri=" + uri +
- "&format=" + (format == "zcic" ? "gz" : "normal");
+ var ext = "";
+ if (format == "types") ext = ".types"
+ else if (format == "ann") ext = ".ann";
+ url = getterURL + "getxml?uri=" + uri + ext + "&format=" + mode_list[5] +
+ "&patch_dtd=" + mode_list[6];
} else {
if (format == "html" && type == "cic") {
keys = "C1,HC2,L¶m.processorURL=" + escape(processorURL) +
"¶m.keys=" + escape("C1,C2,L");
} else if (format == "mml_pres" && type == "theory") {
keys = "T1,T2,L,E¶m.keys=C1,C2¶m.thkeys=TC1,C2,L" +
+ "¶m.processorURL=" + escape(processorURL) +
+ "¶m.getterURL=" + escape(getterURL) +
"¶m.doctype-public=" +
"¶m.encoding=" +
"¶m.media-type=text/xml";