-
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] +
+ "&patched_dtd=" + mode_list[6];
} else {
if (format == "html" && type == "cic") {
keys = "C1,HC2,L¶m.processorURL=" + escape(processorURL) +