Bug fixed: middle-clicking over links in the listing frames should now

work on any browser.

diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl
index 0d551db35fe4cb04490eaf8677b5d057ce8a9e51..9302e5841b62a09b62d17013f4800e12a25386b2 100644 (file)
--- 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>