]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/editor.html
* New release of the client-side interface.
[helm.git] / helm / searchEngine / html / editor.html
index b032f0c4c09d36af08e8ace29b4acdeb841aeb1e..c2733a3c96677c04826c161598422788f6bc7c30 100644 (file)
@@ -42,13 +42,15 @@ 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");
-       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()
        {
        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>