]> matita.cs.unibo.it Git - helm.git/blob - helm/graphs/jsmenu/prova.html
ocaml 3.09 transition
[helm.git] / helm / graphs / jsmenu / prova.html
1 <HTML>
2 <HEAD>
3 <TITLE>HM Version 4.1.1 Examples</TITLE>
4
5 <SCRIPT LANGUAGE="JavaScript" TYPE="text/javascript">
6 <!--
7
8 if(window.event + "" == "undefined") event = null;
9 function HM_f_PopUp(){return false};
10 function HM_f_PopDown(){return false};
11 popUp = HM_f_PopUp;
12 popDown = HM_f_PopDown;
13
14 //-->
15 </SCRIPT>
16
17 <SCRIPT LANGUAGE="JavaScript1.2" TYPE="text/javascript">
18 <!--
19
20 HM_PG_MenuWidth = 150;
21 HM_PG_FontFamily = "Arial,sans-serif";
22 HM_PG_FontSize = 10;
23 HM_PG_FontBold = 0;
24 HM_PG_FontItalic = 0;
25 HM_PG_FontColor = "blue";
26 HM_PG_FontColorOver = "white";
27 HM_PG_BGColor = "#DDDDDD";
28 HM_PG_BGColorOver = "#FFCCCC";
29 HM_PG_ItemPadding = 3;
30
31 HM_PG_BorderWidth = 2;
32 HM_PG_BorderColor = "black";
33 HM_PG_BorderStyle = "solid";
34 HM_PG_SeparatorSize = 2;
35 HM_PG_SeparatorColor = "#d0ff00";
36
37 HM_PG_ImageSrc = "HM_More_black_right.gif";
38 HM_PG_ImageSrcLeft = "HM_More_black_left.gif";
39 HM_PG_ImageSrcOver = "HM_More_white_right.gif";
40 HM_PG_ImageSrcLeftOver = "HM_More_white_left.gif";
41
42 HM_PG_ImageSize = 5;
43 HM_PG_ImageHorizSpace = 0;
44 HM_PG_ImageVertSpace = 2;
45
46 HM_PG_KeepHilite = true; 
47 HM_PG_ClickStart = 0;
48 HM_PG_ClickKill = false;
49 HM_PG_ChildOverlap = 20;
50 HM_PG_ChildOffset = 10;
51 HM_PG_ChildPerCentOver = null;
52 HM_PG_TopSecondsVisible = .5;
53 HM_PG_StatusDisplayBuild =0;
54 HM_PG_StatusDisplayLink = 0;
55 HM_PG_UponDisplay = null;
56 HM_PG_UponHide = null;
57 HM_PG_RightToLeft = 0;
58
59 HM_PG_CreateTopOnly = 0;
60 HM_PG_ShowLinkCursor = 1;
61 HM_PG_NSFontOver = true;
62
63 //HM_a_TreesToBuild = [2];
64
65
66 //-->
67 </SCRIPT>
68
69 </HEAD>
70 <BODY>
71
72 <IMG border="false" src="prova.gif" usemap="#graphe">
73  <MAP name="graphe">
74   <AREA shape="rect" href="pluto" coords="107.6,107,161.4,155" target="cic"
75    onMouseOver="HM_f_PopUp('elMenu1',event)"
76    onMouseOut="HM_f_PopDown('elMenu1')">
77   <AREA shape="rect" href="paperino" coords="381.8,107,426.2,155" target="cic"
78    onMouseOver="HM_f_PopUp('elMenu2',event)"
79    onMouseOut="HM_f_PopDown('elMenu2')">
80  </MAP>
81 </IMG>
82
83 <SCRIPT LANGUAGE="JavaScript1.2"
84         SRC="HM_Loader_prova.js"
85         TYPE='text/javascript'></SCRIPT>
86 </BODY>
87 </HTML>