]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/editorpdq.html
New: the user can now refine the proposed constraints once that they are
[helm.git] / helm / searchEngine / html / editorpdq.html
index ae49abc02c803baea2bbb3bdd82bdfdd095ecb72..21e803906077a8244a0f342428dbb85c1cd24fad 100644 (file)
@@ -9,11 +9,11 @@ function armageddon()
                {
                top.terminecic="";top.listaliases="";top.ricordaliaslist=0;top.vlds=new Array();var alias="";var expr="";
                top.initialize();
-               top.window.open(top.topurl+"/getpage?url=start.html","qw");
-               top.window.open(top.topurl+"/getpage?url=blank.html","cw");
-               top.window.open(top.topurl+"/getpage?url=blank.html","hw");
-               top.window.open(top.topurl+"/getpage?url=blank.html","gw");
-               top.window.open(top.topurl+"/getpage?url=blank.html","sw");
+               top.window.open(top.topurl+top.action+"start.html","qw");
+               top.window.open(top.topurl+top.action+"blank.html","cw");
+               top.window.open(top.topurl+top.action+"blank.html","hw");
+               top.window.open(top.topurl+top.action+"blank.html","gw");
+               top.window.open(top.topurl+top.action+"blank.html","sw");
                }
        }
 function nuovapdqsa()
@@ -23,8 +23,8 @@ function nuovapdqsa()
                top.terminecic="";
                document.invio.expression.value="";document.invio.aliaslist.value=unescape(top.listaliases);
                top.ricordaliaslist=1;
-               window.open(top.topurl+"/getpage?url=pdq.html","cw");
-               window.open(top.topurl+"/getpage?url=editorpdq.html","sw");
+               window.open(top.topurl+top.action+"pdq.html","cw");
+               window.open(top.topurl+top.action+"editorpdq.html","sw");
                }
        }
 function invia()
@@ -37,9 +37,9 @@ function invia()
                        top.listaliases=top.listaliases+escape(top.aliasglob[i]+" ");
                        }
                //alert(top.listaliases);
-    window.open(top.topurl+"/searchPattern?term="+escape(document.invio.expression.value)+"&aliases="+top.listaliases,"cw");
-    }
-               //window.open(top.topurl+"/getpage?url=templateambigpdq2.html","bw")}   
+    window.open(top.ask_uwobo(top.topurl+"/"+top.current_query+"?term="+escape(document.invio.expression.value)+"&aliases="+top.listaliases),"cw");
+        }
+               //window.open(top.topurl+top.action+"templateambigpdq2.html","bw")}     
        else {alert("Please complete the query before.")}
        }
 function warning()
@@ -69,22 +69,22 @@ function listalias()
 function editaalias()
        {
        if (document.invio.expression.value!=""){top.terminecic=escape(document.invio.expression.value)}
-  top.window.open(top.topurl+"/getpage?url=aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
+       top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
        }
 </SCRIPT>
 </HEAD>
 <BODY>
 <form name="invio" action="Javascript:invia();">
 <select name="aliaslist" size=1>
-<script language=Javascript> listalias(); </script>
+<SCRIPT language=Javascript> listalias(); </script>
 </select> Your list of alias.
 <input type=button value="edit" onMouseOver="top.help(-9)" onClick="editaalias()";>
 </br>
 <textarea name="expression" cols="43" rows="6"></textarea><br>Your expression.<br>
 <input type=submit value="Submit" onMouseOver="top.help(-4)"></input>
 <input type=button value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
-<input type=button value="New expression" onMouseOver="top.help(-8)" onClick="nuovapdqsa()"></input>
+<input type=button value="New expression" onMouseOver="top.help(-7)" onClick="nuovapdqsa()"></input>
 </form>
-<script language=Javascript>document.invio.expression.value=unescape(top.terminecic); </script>
+<SCRIPT language=Javascript>document.invio.expression.value=unescape(top.terminecic); </script>
 </BODY>
 </HTML>