]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/jsmenu/prova.html
daemons tamed
[helm.git] / helm / graphs / jsmenu / prova.html
diff --git a/helm/graphs/jsmenu/prova.html b/helm/graphs/jsmenu/prova.html
deleted file mode 100644 (file)
index 7f24294..0000000
+++ /dev/null
@@ -1,87 +0,0 @@
-<HTML>
-<HEAD>
-<TITLE>HM Version 4.1.1 Examples</TITLE>
-
-<SCRIPT LANGUAGE="JavaScript" TYPE="text/javascript">
-<!--
-
-if(window.event + "" == "undefined") event = null;
-function HM_f_PopUp(){return false};
-function HM_f_PopDown(){return false};
-popUp = HM_f_PopUp;
-popDown = HM_f_PopDown;
-
-//-->
-</SCRIPT>
-
-<SCRIPT LANGUAGE="JavaScript1.2" TYPE="text/javascript">
-<!--
-
-HM_PG_MenuWidth = 150;
-HM_PG_FontFamily = "Arial,sans-serif";
-HM_PG_FontSize = 10;
-HM_PG_FontBold = 0;
-HM_PG_FontItalic = 0;
-HM_PG_FontColor = "blue";
-HM_PG_FontColorOver = "white";
-HM_PG_BGColor = "#DDDDDD";
-HM_PG_BGColorOver = "#FFCCCC";
-HM_PG_ItemPadding = 3;
-
-HM_PG_BorderWidth = 2;
-HM_PG_BorderColor = "black";
-HM_PG_BorderStyle = "solid";
-HM_PG_SeparatorSize = 2;
-HM_PG_SeparatorColor = "#d0ff00";
-
-HM_PG_ImageSrc = "HM_More_black_right.gif";
-HM_PG_ImageSrcLeft = "HM_More_black_left.gif";
-HM_PG_ImageSrcOver = "HM_More_white_right.gif";
-HM_PG_ImageSrcLeftOver = "HM_More_white_left.gif";
-
-HM_PG_ImageSize = 5;
-HM_PG_ImageHorizSpace = 0;
-HM_PG_ImageVertSpace = 2;
-
-HM_PG_KeepHilite = true; 
-HM_PG_ClickStart = 0;
-HM_PG_ClickKill = false;
-HM_PG_ChildOverlap = 20;
-HM_PG_ChildOffset = 10;
-HM_PG_ChildPerCentOver = null;
-HM_PG_TopSecondsVisible = .5;
-HM_PG_StatusDisplayBuild =0;
-HM_PG_StatusDisplayLink = 0;
-HM_PG_UponDisplay = null;
-HM_PG_UponHide = null;
-HM_PG_RightToLeft = 0;
-
-HM_PG_CreateTopOnly = 0;
-HM_PG_ShowLinkCursor = 1;
-HM_PG_NSFontOver = true;
-
-//HM_a_TreesToBuild = [2];
-
-
-//-->
-</SCRIPT>
-
-</HEAD>
-<BODY>
-
-<IMG border="false" src="prova.gif" usemap="#graphe">
- <MAP name="graphe">
-  <AREA shape="rect" href="pluto" coords="107.6,107,161.4,155" target="cic"
-   onMouseOver="HM_f_PopUp('elMenu1',event)"
-   onMouseOut="HM_f_PopDown('elMenu1')">
-  <AREA shape="rect" href="paperino" coords="381.8,107,426.2,155" target="cic"
-   onMouseOver="HM_f_PopUp('elMenu2',event)"
-   onMouseOut="HM_f_PopDown('elMenu2')">
- </MAP>
-</IMG>
-
-<SCRIPT LANGUAGE="JavaScript1.2"
-        SRC="HM_Loader_prova.js"
-        TYPE='text/javascript'></SCRIPT>
-</BODY>
-</HTML>