]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/query_choice.html
Many changes in the client-side interfaces:
[helm.git] / helm / searchEngine / html / query_choice.html
index 8cb800ffd76f24db5c08a900f8d1ddda55b44952..2f560bf0a0b378424b99bcea6bd5dad98a3510fe 100644 (file)
@@ -4,27 +4,27 @@
 function armageddon()
        {
        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");
        }
 </SCRIPT>
 </HEAD>
 <BODY>
 <form>
 <table><tr><td>
-      <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+'/getpage?url=loc_obj.html';top.qw.location=top.topurl+'/getpage?url=blank.html';top.sw.location=top.topurl+'/getpage?url=blank.html';top.gw.location=top.topurl+'/getpage?url=blank.html';parent.toq=1;this.blur();"> Locate Object<br>
-      <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+'/getpage?url=mat_con.html';top.qw.location=top.topurl+'/getpage?url=blank.html';top.sw.location=top.topurl+'/getpage?url=editorpdq.html';parent.toq=2;this.blur();"> Match Conclusion<br>
-      <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+'/getpage?url=mat_con.html';top.qw.location=top.topurl+'/getpage?url=blank.html';top.sw.location=top.topurl+'/getpage?url=editorpdq.html';parent.toq=3;this.blur();"> Search Pattern
+      <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'loc_obj.html';top.qw.location=top.topurl+top.action+'blank.html';top.sw.location=top.topurl+top.action+'blank.html';top.gw.location=top.topurl+top.action+'blank.html';parent.toq=1;this.blur();"> Locate Object<br>
+      <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'mat_con.html';top.qw.location=top.topurl+top.action+'blank.html';top.sw.location=top.topurl+top.action+'editorpdq.html';parent.toq=2;this.blur();"> Match Conclusion<br>
+      <input type=radio name="qc" onFocus="top.cw.bw.location=top.topurl+top.action+'mat_con.html';top.qw.location=top.topurl+top.action+'blank.html';top.sw.location=top.topurl+top.action+'editorpdq.html';parent.toq=3;this.blur();"> Search Pattern
 </td>
 </tr></table>
 </form>
 <SCRIPT language="Javascript">
 if (top.ricordaliaslist==1)
        {
-       window.open(top.topurl+"/getpage?url=expr.html","bw");parent.mcq="<font color=\"#ff0000\">[Expr]</font>";
+       window.open(top.topurl+top.action+"expr.html","bw");parent.mcq="<font color=\"#ff0000\">[Expr]</font>";
        top.qw.document.close();top.qw.document.write("<font color=\"#ff0000\">[Expr]</font>");
        }
 </script>