X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmakeGraphLinks.xsl;h=49122be2bc702382f9262999d0269d832a63d39c;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=74c0b7258222d47055327895a30374a9d3470284;hpb=2a8e8d506300fde582e9436a94cf87d449497c39;p=helm.git diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl index 74c0b7258..49122be2b 100644 --- a/helm/on-line/xslt/makeGraphLinks.xsl +++ b/helm/on-line/xslt/makeGraphLinks.xsl @@ -28,7 +28,11 @@ xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:subst="http://www.cs.unibo.it/helm/subst"> - + + + + + @@ -46,108 +50,55 @@ - - - +
Number of nodes to show when following an hyperlink: (30 suggested)
+ + hideMenu(); - - + +
- + + + + + - - selectedURI='';HM_f_PopUp('elMenu1',event) - HM_f_PopDown('elMenu1') + lastX = getX(event); lastY = getY(event);selectedURI=''; + javascript:moveMenu(lastX,lastY); showMenu();