]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq2.html
1) fromdos on any html/* file
[helm.git] / helm / searchEngine / html / templateambigpdq2.html
index 525e69459527cc8d1a2e29f14dd12aef62bfcb7c..ad58e7f1f7725411104c1a21eb8ba8d7635808f4 100644 (file)
@@ -1,64 +1,19 @@
 <HTML>
 <HEAD>
+<style> A { text-decoration: none } </style>
 <SCRIPT language="Javascript">
-elenco = new Array(@INTERPRETATIONS@);
-labels = new Array(@INTERPRETATIONS_LABELS@);
-function armageddon()
-       {
-       top.initialize();
-       top.window.open(top.topurl+top.action+"start.html","qw");
-       top.window.open(top.topurl+top.action+"blank.html","cw");
-       top.window.open(top.topurl+top.action+"blank.html","hw");
-       top.window.open(top.topurl+top.action+"blank.html","gw");
-       top.window.open(top.topurl+top.action+"blank.html","sw");
-       }
-function resetta()
-       {
-       if (confirm("This will erase your query and start a new one. Are you sure you want to do this?"))
-               {armageddon();}
-       }
-function listainterpretazioni()
-       {
-       for (i=0;i<elenco.length;i++)
-               {
-      document.write("<input type=radio name=interp value="+elenco[i]+"> "+labels[i]+"<br>"); 
-               }
-       }
-function invia()
-       {
-       stringa=top.topurl+"/searchPattern?term="+top.terminecic;
-       stringa=stringa+"&aliases="+(top.listaliases==""?"":"%20");
-       controllo=stringa.length;
-       for (j=0;j<elenco.length;j++)
-               {
-               if (document.disamb.interp[j].checked)
-                       {
-                       stringa=stringa+escape(elenco[j]);
-
-      // TODO da implementare nella terza fase
-                       //top.aliasglob[top.aliasglob.length]=document.disamb.interp[j].value;
-
-                       //for (k=0;k<top.aliasglob.length;k++){alert(top.aliasglob[k])}
-                       //top.listaliases=top.listaliases+document.disamb.interp[j].value;//in caso di query ulteriori con la stessa lista di alias
-                       }
-                       
-               }
-       if (stringa.length!=controllo) 
-               {
-               window.open(stringa,"cw");
-               }
-               else {alert("You must choose one option.");}
-       } 
+   var elenco = new Array(@INTERPRETATIONS@);
+   var labels = new Array(@INTERPRETATIONS_LABELS@);
 </SCRIPT>
 </HEAD>
 <BODY>
 <h3>There are more than one possible interpretations.</h3>
-<br>Please choose one of the following.
-<br>
+<br />Please choose one of the following.
+<br />
 <form name="disamb">
-<SCRIPT language="Javascript">listainterpretazioni();</SCRIPT><br>
-<input type=button value="Ok" onClick="invia();">
-<input type=button value=Cancel onClick="resetta();">
-<form>
+<SCRIPT language="Javascript">top.templateambigpdq2_listainterpretazioni(document,elenco,labels);</SCRIPT><br />
+<input type="button" value="Ok" onClick="top.templateambigpdq2_invia(document,elenco);" />
+<input type="button" value="Cancel" onClick="top.templateambigpdq2_resetta();" />
+</form>
 </BODY>
 </HTML>