]> matita.cs.unibo.it Git - helm.git/blob - helm/graphs/jsmenu/LoadMe.html
ocaml 3.09 transition
[helm.git] / helm / graphs / jsmenu / LoadMe.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 <BLOCKQUOTE>
73 <H3>Sample HTML page with 5 Hierarchical Menus</H3>
74 <P>Permanent Centered Horizontal Menu (Cascades on <I>click</I>):</P>
75 <BR><BR>
76 <P>Permanent Horizontal Variable-Width Menu (Cascades on <I>mouseover</I>):</P>
77 <BR><BR>
78 <P><A HREF="aLinkForOldBrowsersGoesHere.html"
79       onMouseOver="HM_f_PopUp('elMenu1',event)"
80       onMouseOut="HM_f_PopDown('elMenu1')">
81           Relative-to-Mouse-Position Vertical Variable-Width Popup Menu (Displays on <I>mouseover</I>)</A></P>
82 <BR>
83
84 <P><A HREF="aLinkForOldBrowsersGoesHere.html"
85       onMouseOver="HM_f_PopUp('elMenu4',event)"
86       onMouseOut="HM_f_PopDown('elMenu4')">
87           Relative-to-Mouse-Position Using Keywords Popup Menu (Displays on <I>click</I>)</A></P>
88 <BR>
89 <P><A HREF="aLinkForOldBrowsersGoesHere.html"
90       onMouseOver="popUp('HM_Menu3',event)"
91       onMouseOut="popDown('HM_Menu3')">
92           Absolute Position Popup Menu (Displays on <I>mouseover</I>)</A></P>
93 </BLOCKQUOTE>
94
95 <SCRIPT LANGUAGE="JavaScript1.2"
96         SRC="HM_Loader.js"
97         TYPE='text/javascript'></SCRIPT>
98 </BODY>
99 </HTML>