X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Feditorpdq.html;h=07aa2b7753848a9f1b593bfa41fe245a3be7eda3;hb=fb783535ecfe90b6277605d8c8df395389acaf75;hp=ae49abc02c803baea2bbb3bdd82bdfdd095ecb72;hpb=fb12bdf2cf0ecbf50726b70d6a3097cb933319a0;p=helm.git

diff --git a/helm/searchEngine/html/editorpdq.html b/helm/searchEngine/html/editorpdq.html
index ae49abc02..07aa2b775 100644
--- a/helm/searchEngine/html/editorpdq.html
+++ b/helm/searchEngine/html/editorpdq.html
@@ -9,11 +9,11 @@ function armageddon()
 		{
 		top.terminecic="";top.listaliases="";top.ricordaliaslist=0;top.vlds=new Array();var alias="";var expr="";
 		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 nuovapdqsa()
@@ -23,8 +23,8 @@ function nuovapdqsa()
 		top.terminecic="";
 		document.invio.expression.value="";document.invio.aliaslist.value=unescape(top.listaliases);
 		top.ricordaliaslist=1;
-		window.open(top.topurl+"/getpage?url=pdq.html","cw");
-		window.open(top.topurl+"/getpage?url=editorpdq.html","sw");
+		window.open(top.topurl+top.action+"pdq.html","cw");
+		window.open(top.topurl+top.action+"editorpdq.html","sw");
 		}
 	}
 function invia()
@@ -39,7 +39,7 @@ function invia()
 		//alert(top.listaliases);
     window.open(top.topurl+"/searchPattern?term="+escape(document.invio.expression.value)+"&aliases="+top.listaliases,"cw");
     }
-		//window.open(top.topurl+"/getpage?url=templateambigpdq2.html","bw")}	
+		//window.open(top.topurl+top.action+"templateambigpdq2.html","bw")}	
 	else {alert("Please complete the query before.")}
 	}
 function warning()
@@ -69,7 +69,7 @@ function listalias()
 function editaalias()
 	{
 	if (document.invio.expression.value!=""){top.terminecic=escape(document.invio.expression.value)}
-  top.window.open(top.topurl+"/getpage?url=aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
+	top.window.open(top.topurl+top.action+"aliaslist.html",(top.cw.frames.length==0?"cw":"bw"));
 	}
 </SCRIPT>
 </HEAD>
@@ -83,7 +83,7 @@ function editaalias()
 <textarea name="expression" cols="43" rows="6"></textarea><br>Your expression.<br>
 <input type=submit value="Submit" onMouseOver="top.help(-4)"></input>
 <input type=button value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
-<input type=button value="New expression" onMouseOver="top.help(-8)" onClick="nuovapdqsa()"></input>
+<input type=button value="New expression" onMouseOver="top.help(-7)" onClick="nuovapdqsa()"></input>
 </form>
 <script language=Javascript>document.invio.expression.value=unescape(top.terminecic); </script>
 </BODY>