From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 12 Mar 2003 11:50:47 +0000 (+0000)
Subject: A dialog box is now opened when Restart is pushed while composing a query.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=31daca5d8c1789d93cd81ac3ccd167c18bc6cf35

A dialog box is now opened when Restart is pushed while composing a query.
---

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()
 <input type="button" value="bol" onMouseOver="top.help(-6)" onClick="inserisci(' <boole> ');"><br>
 </td></tr></table>
 <input type="submit" value="Submit the query" onMouseOver="top.help(-4)"></input>
-<input type="reset" value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
+<input type="button" value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
 <input type="button" value="Apply Changes" onMouseOver="top.help(-3)" onClick="apply();top.actinput++;top.storia[top.actinput]=top.query;top.numeroazioniannullate=0;"></input>
 </form>
 </BODY>