]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq1.html
1) fromdos on any html/* file
[helm.git] / helm / searchEngine / html / templateambigpdq1.html
index d5fa12260c9925f9be81dbb7c8c0c8632545e9be..395283ae3bc24ab178c48378c7377a474f3e8d4e 100644 (file)
@@ -1,80 +1,22 @@
 <HTML>
 <HEAD>
 <TITLE>@TITLE@</TITLE>
+<style> A { text-decoration: none } </style>
 <SCRIPT language="Javascript">
-var ambiguousinput="@MSG@";
-var elenco = new Array(@CHOICES@);
-var id = "@ID@";
-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 listauri()
-       {
-       for (i=0;i<elenco.length;i++)
-               {
-               document.write("<input type=checkbox name=uricheck value="+elenco[i]+"> "+elenco[i]+"<br>"); 
-               }
-       }
-function invia()
-       {
-       vecchiavlds=top.vlds.length;
-       stringa=top.topurl+"/searchPattern?term="+top.terminecic;
-       stringa=stringa+"&aliases="+top.listaliases;
-       stringa=stringa+"&choices=";
-  var choices = "";
-       top.vlds[top.vlds.length]=id;
-       for (j=0;j<elenco.length;j++)
-               {
-               if (document.disamb.uricheck[j].checked)
-                       {
-                       top.vlds[top.vlds.length]=document.disamb.uricheck[j].value;
-                       }
-               }
-       top.vlds[top.vlds.length]=";";
-       for (j=0;j<top.vlds.length;j++)
-               {
-    choices=choices+(top.vlds[j]==";"?";":escape(top.vlds[j]))+" ";
-               //if (j!=top.vlds.length-1) {stringa=stringa+","}
-               }
-       choices=choices.substring(0,choices.length-2);
-  stringa=stringa+escape(choices);
-       if (top.vlds.length==vecchiavlds){alert("You must select at least one of the options.");}
-               else
-               {
-               window.open(stringa,"cw");
-               }
-       } 
-  function selezionaCostanti() {
-    for (i=0; i<elenco.length; i++) {
-      if (elenco[i].substring(elenco[i].length-4, elenco[i].length) != ".var") {
-        document.disamb.uricheck[i].checked = true;
-      } else {
-        document.disamb.uricheck[i].checked = false;
-      }
-    }
-  }
+   var ambiguousinput="@MSG@";
+   var elenco = new Array(@CHOICES@);
+   var ident = "@ID@";
 </SCRIPT>
 </HEAD>
 <BODY>
 <h3><SCRIPT language="Javascript">document.write(ambiguousinput);</SCRIPT></h3>
-<br>Please select one or more of the following.
-<br>
+<br />Please select one or more of the following.
+<br />
 <form name="disamb">
-<SCRIPT language="Javascript">listauri();</SCRIPT><br>
-<input type=button value="Ok" onClick="invia();">
-<input type=button value="Constants Only" onClick="selezionaCostanti();">
-<input type=button value=Cancel onClick="resetta();">
-<form>
+<SCRIPT language="Javascript">top.templateambigpdq1_listauri(document,elenco);</SCRIPT><br />
+<input type="button" value="Ok" onClick="top.templateambigpdq1_invia(document,top,elenco,ident);" />
+<input type="button" value="Constants Only" onClick="top.templateambigpdq1_selezionaCostanti(document,elenco);" />
+<input type="button" value="Cancel" onClick="top.templateambigpdq1_resetta();" />
+</form>
 </BODY>
 </HTML>