]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/makeGraphLinks.xsl
New HELM interface almost stable.
[helm.git] / helm / on-line / xslt / makeGraphLinks.xsl
index 45e88aa085680a3fdbc961ca0cefd120c449ea07..3cc6566fff92ea8917694653effde1b0015f3ea8 100644 (file)
@@ -78,9 +78,9 @@
     <table bgColor="green" id="pippo">
      <tr><td>
       <table bgColor="cyan" border="2">
-       <tr><td><a href="javascript: var _ = window.open(selectedForwardURL)">Objects this one depends on.</a></td></tr>
+       <tr><td><a href="javascript: location = selectedForwardURL">Objects this one depends on.</a></td></tr>
        <tr><td><a href="javascript: var _ = window.open(selectedCICURL,'_top')">Render this object.</a></td></tr>
-       <tr><td><a href="javascript: var _ = window.open(selectedBackwardURL)">Objects depending on this one.</a></td></tr>
+       <tr><td><a href="javascript: location = selectedBackwardURL">Objects depending on this one.</a></td></tr>
       </table>
      </td></tr>
     </table>