From 2238b5779cd8587ad7afaf32d13eba9173fa8473 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Mar 2001 18:05:45 +0000
Subject: [PATCH] Changes in raw mode interface

---
 helm/on-line/html/library/control.html | 18 ++++++++++++++----
 helm/on-line/javascript/control.js     | 22 +++++++++++++++++++---
 helm/on-line/javascript/defaults.js    |  2 +-
 3 files changed, 34 insertions(+), 8 deletions(-)

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index 7b8806e2b..57c6c3900 100644
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -30,8 +30,9 @@
 	var mode = getParam('mode');
 	var mode_list = mode.split(',');
 	if (mode_list[0] == "raw") {
-	  outputOption(document, "cic", "CIC", mode_list[1]);
-	  outputOption(document, "zcic", "CIC GZipped", mode_list[1]);
+	  outputOption(document, "cic",   "CIC", mode_list[1]);
+	  outputOption(document, "types", "TYPES", mode_list[1]);
+	  outputOption(document, "ann",   "ANN", mode_list[1]);
 	} else {
 	  outputOption(document, "html", "HTML", mode_list[2]);
 	  outputOption(document, "mml_cont", "MathML Content", mode_list[2]);
@@ -68,8 +69,17 @@
       <script>
 	var mode = getParam('mode');
 	var mode_list = mode.split(',');
-        outputCheckbox(document, "updateNatural(this)", "&nbsp;Natural Language", mode_list[3] == "yes");
-        outputCheckbox(document, "updateAnnotations(this)", "&nbsp;Annotations", mode_list[4] == "yes");
+	if (mode_list[0] == "raw") {
+         outputCheckbox(document, "updateCompressed(this)",
+          "&nbsp;Compressed", mode_list[5] == "yes");
+         outputCheckbox(document, "updateDTDPatched(this)",
+          "&nbsp;Resolve DTD URL", mode_list[6] == "yes");
+        } else {
+         outputCheckbox(document, "updateNatural(this)",
+          "&nbsp;Natural Language", mode_list[3] == "yes");
+         outputCheckbox(document, "updateAnnotations(this)",
+          "&nbsp;Annotations", mode_list[4] == "yes");
+        }
       </script>
     </td>
     <td>
diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 8debc89f8..8ad40ce64 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -1,4 +1,3 @@
-
 function updateMode(i, s)
 {
   var mode = top.mode;
@@ -63,6 +62,20 @@ function updateAnnotations(checkbox)
   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 = 
@@ -106,8 +119,11 @@ function makeURL(type,uri,cicflags,typesflags)
   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&param.processorURL=" + escape(processorURL) +
diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
index f6abf7f87..54d51002f 100644
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -11,7 +11,7 @@ function getDefaultParam(name)
   case "theoryuri":
     return "theory:/";
   case "mode":
-    return "processed,cic,html,yes,no";
+    return "processed,cic,html,yes,no,normal,no";
   }
   
   return "???";
-- 
2.39.2