X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2html.xsl;h=9302e5841b62a09b62d17013f4800e12a25386b2;hb=e76b78d1d80796de1b8f6a469741cbd26cd4d822;hp=0d551db35fe4cb04490eaf8677b5d057ce8a9e51;hpb=8aba11dde6f56f81329943a3f4dbff0ee9366552;p=helm.git

diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl
index 0d551db35..9302e5841 100644
--- a/helm/on-line/xslt/ls2html.xsl
+++ b/helm/on-line/xslt/ls2html.xsl
@@ -148,8 +148,7 @@
    </xsl:variable>
    <xsl:value-of select="$name"/>
    <xsl:text> </xsl:text>
-   <a href="" target="{$target}"
-      onClick="this.href=makeURL('{$target}','{concat($quoteduri,$quotedname)}','{$ann}','{$types}')"
+   <a href="javascript: var _ = window.open(top.frames[0].makeURL('{$target}','{concat($quoteduri,$quotedname)}','{$ann}','{$types}'));"
       onMouseOver="window.status='{concat($quoteduri,$quotedname)}'; return true"
    >
     <xsl:choose>
@@ -159,15 +158,13 @@
    </a>
    <xsl:if test="not($body='NO')">
     <xsl:text> </xsl:text>
-    <a href="" target="{$target}"
-       onClick="this.href=makeURL('{$target}','{concat($quoteduri,$quotedbodyname)}','{$ann}','{$types}')"
+    <a href="javascript: var _ = window.open(top.frames[0].makeURL('{$target}','{concat($quoteduri,$quotedbodyname)}','{$ann}','{$types}'))"
        onMouseOver="window.status='{concat($quoteduri,$quotedname)}'; return true"
     >Proof term</a>
    </xsl:if>
    <xsl:if test="not($proof_tree='NO')">
     <xsl:text> </xsl:text>
-    <a href="" target="{$target}"
-       onClick="this.href=makeURL('{$target}','{concat($quoteduri,$quotedprooftreename)}','{$ann}','{$types}')"
+    <a href="javascript: var _ = window.open(top.frames[0].makeURL('{$target}','{concat($quoteduri,$quotedprooftreename)}','{$ann}','{$types}'))"
        onMouseOver="window.status='{concat($quoteduri,$quotedname)}'; return true"
     >Proof tree</a>
    </xsl:if>