New: the user can now refine the proposed constraints once that they are

[helm.git] / helm / searchEngine / html / aliaslist.html
diff --git a/helm/searchEngine/html/aliaslist.html b/helm/searchEngine/html/aliaslist.html

index 60c38cf72b7588a5d6bf06603fdd6aecafc519e1..d030ea41e4ee1c00584c0696f97877980bc70591 100644 (file)
--- a/helm/searchEngine/html/aliaslist.html
+++ b/helm/searchEngine/html/aliaslist.html
@@ -30,15 +30,23 @@ function invia()
  function rimuovialias()
         {
         //alert(document.aliaslist.elenco.value);
-       if (document.aliaslist.elenco.value!=""){
-               for (num=Number(document.aliaslist.elenco.value);num<top.aliasglob.length;num++)
+       if (document.aliaslist.elenco.value!="")
                 {
-               top.aliasglob[num]=top.aliasglob[num+1];
+                       for (var i=document.aliaslist.elenco.length-1;i>-1;i--)
+                       {
+                       if (document.aliaslist.elenco.options[i].selected==true)
+                               {
+                               for (num=i;num<top.aliasglob.length;num++)
+                               {
+                               top.aliasglob[num]=top.aliasglob[num+1];
+                               }
+                               top.aliasglob.length--;
+                               //alert ("rimosso "+i);
+                               //parent.aggiorna();
+                               }
+                       }
+               top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
                 }
-               top.aliasglob.length--;
-               //parent.aggiorna();
-               top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
-        }
         }
  function listalias()
         {
@@ -68,11 +76,11 @@ istruzioni();
  <BODY>
  <form name="aliaslist" action="Javascript:addalias();" method="get">
  alias
-<input name="idi" type=text size="15">
+<input name="idi" type=text size="15" value="">
  <input name="uri" type=text size="45" value="cic:/"><br>
  <input type=submit value="add alias"><input type=button value="delete selected" onClick="rimuovialias()";><br>
  <select name="elenco" multiple size=7>
-<script language=Javascript> listalias(); document.aliaslist.idi.focus(); </script>
+<SCRIPT language=Javascript> listalias(); document.aliaslist.idi.focus(); </SCRIPT>
  </select>
  <br>
  <input type=button value="Done" onClick="top.window.open(top.topurl+top.action+'blank.html','hw');top.window.open(top.topurl+top.action+'editorpdq.html','sw');invia();" ><br>