]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/loc_obj.html
* New release of the client-side interface.
[helm.git] / helm / searchEngine / html / loc_obj.html
index 1a87db14983ad3296cf9bcc5ac65be67cf8cadf9..3647cddf56eca302c7344aaedb8c4d724aea8dd8 100644 (file)
@@ -1,10 +1,20 @@
 <HTML>
 <HEAD>
 <SCRIPT language="Javascript">
+function armageddon()
+       {
+               top.terminecic="";top.listaliases="";top.ricordaliaslist=0;top.vlds=new Array();var alias="";var expr="";
+               top.initialize();
+               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 invia()
        {
+       top.window.open(top.topurl+top.action+"start.html","qw");
        top.window.open(top.topurl+"/locate?id="+document.locate.oggetto.value,"bw");
-       //top.window.open(top.topurl+top.action+"blank.html","bw");
        }
 </SCRIPT>
 </HEAD>
@@ -12,7 +22,8 @@ function invia()
 <form name="locate" method="get" action="Javascript:invia();">
 <input name="oggetto" type=text size=30>
 Insert here the name of the object you want to search.
-<br><input type=submit value="Display results">
+<br><input type=submit value="Display results" onMouseOver="top.help(-4)">
+<input type=button value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
 </form>
 </BODY>
 </HTML>