X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fexpnamedsubst.html;h=bbe0d7ce15acab678c3ce028e773e0b3069d68a7;hb=02a075a57f4e40ff34b7ae1351ab77c32d0d427b;hp=bb8173389db4c3928a4dbc8d773f5fff428bb0c7;hpb=f56fe02e31003418cf9dbe3a472fe665acbbf4f5;p=helm.git

diff --git a/helm/searchEngine/html/expnamedsubst.html b/helm/searchEngine/html/expnamedsubst.html
index bb8173389..bbe0d7ce1 100644
--- 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>
 </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