From d347768e27b549824315e8285fdca17c3104249e Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 19 May 2004 15:45:15 +0000
Subject: [PATCH] Bug fixed: middle-clicking over links in the listing frames
 should now work on any browser.

---
 helm/on-line/xslt/ls2html.xsl | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

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>
-- 
2.39.2