X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Faliaslist.html;h=2b5c54163d7c0d52b322bece1a5dac7d5a6d78fe;hb=fb783535ecfe90b6277605d8c8df395389acaf75;hp=c74e2ca5992ee3df121293c0bf8142cda3a23975;hpb=fb12bdf2cf0ecbf50726b70d6a3097cb933319a0;p=helm.git

diff --git a/helm/searchEngine/html/aliaslist.html b/helm/searchEngine/html/aliaslist.html
index c74e2ca59..2b5c54163 100644
--- a/helm/searchEngine/html/aliaslist.html
+++ b/helm/searchEngine/html/aliaslist.html
@@ -9,7 +9,7 @@ function invia()
 		stadd=stadd+parent.alist[num]+" ";
 		//alert(stadd);
 		}
-	//top.window.open(top.topurl+"/getpage?url=editorpdq.html","sw");
+	//top.window.open(top.topurl+top.action+"editorpdq.html","sw");
 	top.window.sw.editalias(stadd);
 	//alert(parent.mcq);
 	parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Alias list]</font>","");
@@ -31,12 +31,14 @@ function rimuovialias()
 	{
 	//alert(document.aliaslist.elenco.value);
 	if (document.aliaslist.elenco.value!=""){
-	for (num=Number(document.aliaslist.elenco.value);num<top.aliasglob.length;num++)
+		for (num=Number(document.aliaslist.elenco.value);num<top.aliasglob.length;num++)
 		{
 		top.aliasglob[num]=top.aliasglob[num+1];
 		}
-	top.aliasglob.length--;
-	parent.aggiorna();}
+		top.aliasglob.length--;
+		//parent.aggiorna();
+	        top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
+        }
 	}
 function listalias()
 	{
@@ -48,10 +50,11 @@ function listalias()
 	}
 function addalias()
 	{
-	if (parent.idcheck(document.aliaslist.idi.value)==1 && parent.uricheck(document.aliaslist.uri.value)==1)
+	if (top.idcheck(document.aliaslist.idi.value)==1 && top.uricheck(document.aliaslist.uri.value)==1)
 		{
 		top.aliasglob[top.aliasglob.length]="alias "+document.aliaslist.idi.value+" "+document.aliaslist.uri.value;
-		parent.aggiorna();
+		//parent.aggiorna();
+	        top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
 		}
 	}
 function istruzioni()
@@ -66,14 +69,13 @@ istruzioni();
 <form name="aliaslist" action="Javascript:addalias();" method="get">
 alias
 <input name="idi" type=text size="15">
-<input name="uri" type=text size="45" value="cic:/">
-<input type=submit value="add alias">
-<input type=button value="Done" onClick="top.window.open(top.topurl+'/getpage?url=blank.html','hw');top.window.open(top.topurl+'/getpage?url=editorpdq.html','sw');invia();" ><br>
+<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>
 <script language=Javascript> listalias(); document.aliaslist.idi.focus(); </script>
 </select>
 <br>
-<input type=button value="delete selected" onClick="rimuovialias()";>
+<input type=button value="Done" onClick="top.window.open(top.topurl+top.action+'blank.html','hw');top.window.open(top.topurl+top.action+'editorpdq.html','sw');invia();" ><br>
 </form>
 </BODY>
 </HTML>