]> matita.cs.unibo.it Git - helm.git/commitdiff
added clickable fingers
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 8 Apr 2005 15:52:16 +0000 (15:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 8 Apr 2005 15:52:16 +0000 (15:52 +0000)
helm/searchEngine/html/moogle_init.html

index 5e681b822ebcd7da01ae7e8983dc9a3f5325dd24..7e35487f899702ddf78dd55540de27d4f339d304 100644 (file)
@@ -3,14 +3,62 @@
 <head>
 <title>Whelp search</title>
 <style>
-  body { font-family: sans-serif }
+       body { font-family: sans-serif }
 </style>
+
+<script type="text/javascript" language="JavaScript">
+       function submit_query(q){
+               if ( q == 'w' ) {
+                       alert("This is Whelp!");        
+               } else {
+                       e = document.createElement("input");
+                       e.setAttribute("type","hidden");
+                       e.setAttribute("name","param.action");
+                       e.setAttribute("value",q);
+
+                       document.forms[0].appendChild(e);
+                       
+                       document.forms[0].submit();
+               }
+       }               
+</script>
+
 </head>
+
 <body bgcolor="#ffffff">
+       
 <center>
 <table border="0" cellspacing="0" cellpadding="0">
 <tr>
-<td><img src="@SEARCH_ENGINE_URL@/getpage?url=whelp.png" alt="moogle" /></td></tr>
+       <td>
+               <img src="@SEARCH_ENGINE_URL@/getpage?url=whelp.png" 
+               alt="whelp" usemap="#map" 
+               style="border: 0;"/>
+       </td>
+</tr>
+
+
+<map name="map">
+       
+<!-- #$-:Image Map file created by GIMP Imagemap Plugin -->
+<!-- #$-:GIMP Imagemap Plugin by Maurits Rijk -->
+<!-- #$-:Please do not edit lines starting with "#$" -->
+<!-- #$VERSION:2.0 -->
+<!-- #$AUTHOR:Enrico Tassi -->
+
+<area shape="poly" coords="17,42,26,42,34,46,40,52,42,59,42,65,38,69,32,73,26,76,16,76,10,74,5,70,1,64,1,57,2,52,6,48,12,44" alt="HINT" 
+onclick="submit_query('hint')" />
+
+<area shape="poly" coords="55,12,68,12,77,17,84,24,85,34,83,41,77,47,70,51,63,51,55,51,47,49,38,40,37,33,37,24,42,19,50,13" alt="ELIM"
+onclick="submit_query('elim')" />
+<area shape="poly" coords="90,13,102,2,115,0,130,5,139,15,139,28,127,40,117,43,105,41,94,35,89,26" alt="LOCATE" 
+onclick="submit_query('locate')" />
+<area shape="poly" coords="144,26,153,17,166,13,179,12,188,16,195,24,199,34,198,44,192,54,182,59,169,61,156,58,147,52,143,44,142,36,142,35" alt="PATTERN MATCHING"
+onclick="submit_query('match')" />
+<area shape="poly" coords="49,68,63,58,82,51,100,48,116,49,134,54,153,62,164,74,174,90,178,103,177,116,173,130,164,141,154,152,142,159,127,165,110,167,94,167,78,164,64,159,53,151,44,143,36,132,31,120,30,100,34,87,40,77,45,71" alt="WOUNDERFUL" 
+onclick="submit_query('w')" />
+</map>
+
 </table>
 <br />
 <helm:uwobo_form>