]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/aliaslist.html
Many changes in the client-side interfaces:
[helm.git] / helm / searchEngine / html / aliaslist.html
index c74e2ca5992ee3df121293c0bf8142cda3a23975..2b5c54163d7c0d52b322bece1a5dac7d5a6d78fe 100644 (file)
@@ -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>