]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/editor.html
1) fromdos on any html/* file
[helm.git] / helm / searchEngine / html / editor.html
index 332c1a9a0f63503071e0404f13613010d090c149..1e6afe7d06e9f5c35cd821f4370833caedc6c7f4 100644 (file)
@@ -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()
        {
@@ -44,11 +44,11 @@ function armageddon()
        {
         if (confirm("This will delete your query and restart a new one. Are you sure?")) {
        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 comprimispazi()