Bug introduced: the alias combo-box now accepts multiple selections (but

use just the last selected item).

diff --git a/helm/searchEngine/html/aliaslist.html b/helm/searchEngine/html/aliaslist.html
index 2b5c54163d7c0d52b322bece1a5dac7d5a6d78fe..60c38cf72b7588a5d6bf06603fdd6aecafc519e1 100644 (file)
--- a/helm/searchEngine/html/aliaslist.html
+++ b/helm/searchEngine/html/aliaslist.html
@@ -71,7 +71,7 @@ alias
 <input name="idi" type=text size="15">
 <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" size=7>
+<select name="elenco" multiple size=7>
 <script language=Javascript> listalias(); document.aliaslist.idi.focus(); </script>
 </select>
 <br>