X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Feditor.html;h=683b2003010a7c19a0fc5439f8a2500daf16d4a8;hb=78cf601fd8b8dbb386b0db315dcbfdbe8256c15f;hp=1e6afe7d06e9f5c35cd821f4370833caedc6c7f4;hpb=dedb202eeeac7293c51dbf31a302d0d3dd24af95;p=helm.git

diff --git a/helm/searchEngine/html/editor.html b/helm/searchEngine/html/editor.html
index 1e6afe7d0..683b20030 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.ask_uwobo(top.topurl+"/execute?query="+escape(document.edit.qta.value)),"cw");
+	window.open(top.ask_uwobo(top.topurl+"/execute?query="+encodeURIComponent(document.edit.qta.value)),"cw");
 	}
 function parse1()
 	{