UNICODEvsSYMBOL parameter now added everywhere

[helm.git] / helm / on-line / javascript / control.js

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 8d16150cbd5c499f3425117dbf690ee75c49cd75..a36165f78cd16cdaa8c95a9de5880109f3af8a14 100644 (file)
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -83,7 +83,8 @@ function refreshReload()
       "&cicuri=" + top.cicuri +
       "&theoryuri=" + top.theoryuri +
       "&processorURL=" + top.processorURL +
-      "&getterURL=" + top.getterURL;
+      "&getterURL=" + top.getterURL +
+      "&UNICODEvsSYMBOL=" + top.UNICODEvsSYMBOL;
 
    top.frames[0].document.links[0].search = search;
    top.frames[0].document.links[1].search = search;
@@ -106,7 +107,7 @@ function refreshtheoryHeader(headerURL)
 function getCICMathMLKeys()
 {
   //Important note: do not modify this function without modifying makeURL
-  return escape("C1,G,C2,L");
+  return escape("d_c,C1,G,C2,L");
 }
 
 function makeURL(type,uri,cicflags,typesflags)
@@ -114,6 +115,7 @@ function makeURL(type,uri,cicflags,typesflags)
   var mode = top.mode;
   var processorURL = top.processorURL;
   var getterURL = top.getterURL;
+  var UNICODEvsSYMBOL = top.UNICODEvsSYMBOL;
   var mode_list = mode.split(",");
   
   var keys = "";
@@ -137,8 +139,9 @@ function makeURL(type,uri,cicflags,typesflags)
     if (format == "html" && type == "cic") {
       //Important note: do not modify this function without modifying
       //getCICMathMLKeys
-      keys = escape("C1,HC2,L")+"&param.processorURL=" + escape(processorURL) +
+      keys = escape("d_c,C1,HC2,L")+"&param.processorURL=" + escape(processorURL) +
        "&param.getterURL=" + escape(getterURL) +
+       "&param.UNICODEvsSYMBOL=" + escape(UNICODEvsSYMBOL) +
        "&prop.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
        "&prop.encoding=iso-8859-1" +
        "&prop.media-type=text/html" +
@@ -151,6 +154,7 @@ function makeURL(type,uri,cicflags,typesflags)
       keys = escape("T1,T2,L,E")+
        "&param.processorURL=" + escape(processorURL) +
        "&param.getterURL=" + escape(getterURL) +
+       "&param.UNICODEvsSYMBOL=" + escape(UNICODEvsSYMBOL) +
        "&param.keys=" + escape("C1,HC2,L") +
        "&param.thkeys=" + escape("T1,T2,L,E") +
        "&param.embedkeys=" + escape("TC1,HC2,L") +