X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Feditor.html;h=1e6afe7d06e9f5c35cd821f4370833caedc6c7f4;hb=9543a355016ed3c2abc5e75e4e5d24e8f4d9bb3a;hp=c2733a3c96677c04826c161598422788f6bc7c30;hpb=524d98c48e119440423b449127ae05415ee48753;p=helm.git

diff --git a/helm/searchEngine/html/editor.html b/helm/searchEngine/html/editor.html
index c2733a3c9..1e6afe7d0 100644
--- a/helm/searchEngine/html/editor.html
+++ b/helm/searchEngine/html/editor.html
@@ -4,7 +4,7 @@
 qbf=/[[^\[\]<>]*|<set>|<val>|<boole>]*/
 function invia()
 	{
-	window.open(top.topurl+"/execute?query="+escape(document.edit.qta.value),"cw");
+	window.open(top.ask_uwobo(top.topurl+"/execute?query="+escape(document.edit.qta.value)),"cw");
 	}
 function parse1()
 	{