X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Faliaslist.html;h=ac87fa57f405a1c44e6a509ebcff69f9ec8b0c11;hb=02a075a57f4e40ff34b7ae1351ab77c32d0d427b;hp=60c38cf72b7588a5d6bf06603fdd6aecafc519e1;hpb=f56fe02e31003418cf9dbe3a472fe665acbbf4f5;p=helm.git diff --git a/helm/searchEngine/html/aliaslist.html b/helm/searchEngine/html/aliaslist.html index 60c38cf72..ac87fa57f 100644 --- 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-1;i--) + { + if (document.aliaslist.elenco.options[i].selected==true) + { + for (num=i;num