From: Claudio Sacerdoti Coen Date: Thu, 25 Oct 2001 13:14:47 +0000 (+0000) Subject: Clicking on the AREA and not on the menu just pop-ups the menu again instead X-Git-Tag: v0_1_3~35 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=99799253d507f545ad87254e0145510d3f3fa8ef;p=helm.git Clicking on the AREA and not on the menu just pop-ups the menu again instead of crashing. --- diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl index 10a548519..f015511b6 100644 --- a/helm/on-line/xslt/makeGraphLinks.xsl +++ b/helm/on-line/xslt/makeGraphLinks.xsl @@ -58,6 +58,7 @@ function HM_f_PopDown(){return false}; popUp = HM_f_PopUp; popDown = HM_f_PopDown; var selectedURI; +var lastEvent; ]]>