From 81420aefbc1d136d061cb86c05ef587c339f1b4f Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 4 May 2001 09:15:55 +0000
Subject: [PATCH] Bug fixed: following a link to an object inside a theory
 opened the  object with the header of the theories.

---
 helm/on-line/javascript/control.js | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index fbc08f3f9..4389be7d8 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -119,8 +119,8 @@ function makeURL(type,uri,cicflags,typesflags)
   var keys = "";
   var url = "";
 
-  var interfaceURL = chopSlash(chopSlash(top.topurl)) +
-   ((type == "cic") ? "/cic/index.html" : "/theory/index.html");
+  var interfaceURL = chopSlash(chopSlash(top.topurl)) + "/cic/index.html";
+  var thinterfaceURL = chopSlash(chopSlash(top.topurl)) + "/theory/index.html";
 
   var output = mode_list[0];
   var format;
@@ -155,7 +155,8 @@ function makeURL(type,uri,cicflags,typesflags)
        "&param.encoding=iso-8859-1" +
        "&param.media-type=text/html" +
        "&param.keys=" + escape("C1,HC2,L") +
-       "&param.interfaceURL=" + escape(interfaceURL);
+       "&param.interfaceURL=" + escape(interfaceURL) +
+       "&param.thinterfaceURL=" + escape(thinterfaceURL);
     } else if (format == "mml_cont" && type == "cic") {
       keys = "C1";
     } else if (format == "mml_cont" && type == "theory") {
@@ -178,7 +179,8 @@ function makeURL(type,uri,cicflags,typesflags)
        "&param.doctype-public=" +
        "&param.encoding=" +
        "&param.media-type=text/xml" +
-       "&param.interfaceURL=" + escape(interfaceURL);
+       "&param.interfaceURL=" + escape(interfaceURL) +
+       "&param.thinterfaceURL=" + escape(thinterfaceURL);
     }
 
     var naturalLanguage = typesflags;
@@ -193,8 +195,10 @@ function makeURL(type,uri,cicflags,typesflags)
   }
 
   if (output == "raw")
-   return url
-  else
+   return url;
+  else if (type == "cic")
    return interfaceURL + "?url=" + escape(url);
+  else if (type == "theory")
+   return thinterfaceURL + "?url=" + escape(url)
 }
 
-- 
2.39.2