]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/aliaslist.html
* New release of the client-side interface.
[helm.git] / helm / searchEngine / html / aliaslist.html
index c74e2ca5992ee3df121293c0bf8142cda3a23975..ac87fa57f405a1c44e6a509ebcff69f9ec8b0c11 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>","");
@@ -30,13 +30,23 @@ function invia()
 function rimuovialias()
        {
        //alert(document.aliaslist.elenco.value);
-       if (document.aliaslist.elenco.value!=""){
-       for (num=Number(document.aliaslist.elenco.value);num<top.aliasglob.length;num++)
+       if (document.aliaslist.elenco.value!="")
                {
-               top.aliasglob[num]=top.aliasglob[num+1];
+                       for (var i=document.aliaslist.elenco.length-1;i>-1;i--)
+                       {
+                       if (document.aliaslist.elenco.options[i].selected==true)
+                               {
+                               for (num=i;num<top.aliasglob.length;num++)
+                               {
+                               top.aliasglob[num]=top.aliasglob[num+1];
+                               }
+                               top.aliasglob.length--;
+                               //alert ("rimosso "+i);
+                               //parent.aggiorna();
+                               }
+                       }
+               top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
                }
-       top.aliasglob.length--;
-       parent.aggiorna();}
        }
 function listalias()
        {
@@ -48,10 +58,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()
@@ -65,15 +76,14 @@ istruzioni();
 <BODY>
 <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>
-<select name="elenco" size=7>
+<input name="idi" type=text size="15" value="">
+<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" multiple 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>