]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/editorpdq.html
New queries added:
[helm.git] / helm / searchEngine / html / editorpdq.html
index 07aa2b7753848a9f1b593bfa41fe245a3be7eda3..3370ed1348c90a0e17432120409506d21ba384cf 100644 (file)
@@ -37,8 +37,8 @@ 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.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.")}
        }