]> 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 27f070964ad439b6589ffc3d52e5d8e5b5aff44a..21e803906077a8244a0f342428dbb85c1cd24fad 100644 (file)
@@ -37,7 +37,7 @@ function invia()
                        top.listaliases=top.listaliases+escape(top.aliasglob[i]+" ");
                        }
                //alert(top.listaliases);
-    window.open(top.ask_uwobo(top.topurl+"/searchPattern?term="+escape(document.invio.expression.value)+"&aliases="+top.listaliases),"cw");
+    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.")}
@@ -76,7 +76,7 @@ function editaalias()
 <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>
@@ -85,6 +85,6 @@ function editaalias()
 <input type=button value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></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>