X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Feditor.html;h=332c1a9a0f63503071e0404f13613010d090c149;hb=31daca5d8c1789d93cd81ac3ccd167c18bc6cf35;hp=b032f0c4c09d36af08e8ace29b4acdeb841aeb1e;hpb=0c69862b7f4895a1178d292a08164435f4ecd84f;p=helm.git
diff --git a/helm/searchEngine/html/editor.html b/helm/searchEngine/html/editor.html
index b032f0c4c..332c1a9a0 100644
--- a/helm/searchEngine/html/editor.html
+++ b/helm/searchEngine/html/editor.html
@@ -42,6 +42,7 @@ function parse()
}
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");
@@ -49,6 +50,7 @@ function armageddon()
top.window.open(top.topurl+"/getpage?url=blank.html","gw");
top.window.open(top.topurl+"/getpage?url=blank.html","sw");
}
+ }
function comprimispazi()
{
stringa=document.edit.qta.value;
@@ -113,7 +115,7 @@ function agg()
-
+