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

[helm.git] / helm / searchEngine / html / expnamedsubst.html

diff --git a/helm/searchEngine/html/expnamedsubst.html b/helm/searchEngine/html/expnamedsubst.html
index bb8173389db4c3928a4dbc8d773f5fff428bb0c7..3db7acaba8f92efba461fc126cc4b4cf919b7c57 100644 (file)
--- a/helm/searchEngine/html/expnamedsubst.html
+++ b/helm/searchEngine/html/expnamedsubst.html
@@ -43,10 +43,10 @@ function addalias()
        {
        ok=0;
        if (document.aliaslist.varid.value.indexOf("/")>0)
-               {if (parent.uricheck(document.aliaslist.varid.value)==1 && document.aliaslist.varid.value.substring(document.aliaslist.varid.value.length-3,document.aliaslist.varid.value.length)=="var")
+               {if (top.uricheck(document.aliaslist.varid.value)==1 && document.aliaslist.varid.value.substring(document.aliaslist.varid.value.length-3,document.aliaslist.varid.value.length)=="var")
                        {ok=1}
                }
-       else {if (parent.idcheck(document.aliaslist.varid.value)==1)
+       else {if (top.idcheck(document.aliaslist.varid.value)==1)
                {ok=1}
                }       
        if (ok==1)
@@ -66,13 +66,13 @@ You may enter as many of them as you want (even none), after each one click the
 <br>
 <form name="aliaslist" action="Javascript:addalias();" method="get">
 <input name="varid" type=text size="35"> Insert here the Id or the Uri you want to add.
-<input type=submit value="add">
-<input type=button value="Done" onClick="invia();" ><br>
+<input type=submit value="add"><input type=button value="delete selected" onClick="rimuovialias()";>
+<br>
 <select name="elenco" size=7>
-<script language=Javascript> listalias(); </script>
+<SCRIPT language=Javascript> listalias(); </SCRIPT>
 </select>
 <br>
-<input type=button value="delete selected" onClick="rimuovialias()";>
+<input type=button value="Done" onClick="invia();" >
 </form>
 </BODY>
-</HTML>
\ No newline at end of file
+</HTML>