From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 19 May 2004 15:44:37 +0000 (+0000)
Subject: Tempative version: every link is now opened in a new window.
X-Git-Tag: V_0_0_9~40
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e6f088dce2bf8ad221561dc7cf7db5f6904c4f29;p=helm.git

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 49122be2b..4be261bcb 100644
--- 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 bb7346196..17050ea66 100644
--- 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>