]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/aliaslist.html
* New release of the client-side interface.
[helm.git] / helm / searchEngine / html / aliaslist.html
index 60c38cf72b7588a5d6bf06603fdd6aecafc519e1..ac87fa57f405a1c44e6a509ebcff69f9ec8b0c11 100644 (file)
@@ -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,7 +76,7 @@ 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>