Tempative version: every link is now opened in a new window.

The user is responsible for organizing them.

diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl
index 49122be2bc702382f9262999d0269d832a63d39c..4be261bcb6cbc6a00c1fc9fc54e36b5d9d166a0f 100644 (file)
--- a/helm/on-line/xslt/makeGraphLinks.xsl
+++ b/helm/on-line/xslt/makeGraphLinks.xsl
@@ -77,8 +77,8 @@
      <tr><td>
       <table bgColor="cyan" border="2">
        <tr><td><a href="" onClick="this.href=mkDepURL(selectedURI);">Objects this one depends on.</a></td></tr>
-       <tr><td><a href="" onClick="this.href=mkCICURL(selectedURI);" target="cic">Render this object.</a></td></tr>
-       <tr><td><a href="" onClick="this.href=mkMetaTheoryURL(selectedURI);" target="theory">Objects depending directly on this one.</a></td></tr>
+       <tr><td><a href="" onClick="this.href=mkCICURL(selectedURI);">Render this object.</a></td></tr>
+       <tr><td><a href="" onClick="this.href=mkMetaTheoryURL(selectedURI);">Objects depending directly on this one.</a></td></tr>
        <tr><td><a href="" onClick="this.href=mkMetaURL(selectedURI);">Objects depending on this one.</a></td></tr>
       </table>
      </td></tr>

diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index bb7346196c67c95a6808253094f036feac2edd75..17050ea66ece75060b0a22e2c8f491670081cff9 100644 (file)
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -35,7 +35,7 @@
    <script>
      var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     document.write('<h1>Metadata of <a target="cic" href="' + mkCICURL(CICURI) + '">' + CICURI + '</a></h1>');
+     document.write('<h1>Metadata of <a href="' + mkCICURL(CICURI) + '">' + CICURI + '</a></h1>');
 ]]>
    </script>
    <xsl:apply-templates select="*"/>
@@ -72,7 +72,7 @@
     <script>
      var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     document.write('<a target="theory" href="' + mkMetaTheoryURL(CICURI) + '">View the objects depending on it.</a>');
+     document.write('<a href="' + mkMetaTheoryURL(CICURI) + '">View the objects depending on it.</a>');
 ]]>
     </script>
    </p>