]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/expr.html
* New release of the client-side interface.
[helm.git] / helm / searchEngine / html / expr.html
index bc34e72fed6a713bbf3f7fd7981ffc2f7622f9e1..3e302b8b24fc366fed1119c6803856acbdd6c35d 100644 (file)
@@ -25,8 +25,9 @@ with (document.form1) {
                                stadd=document.form1.id_or_uri.value;
                                //alert(stadd.substring(0,5));
                                if (stadd.substring(0,5)=="cic:/") 
-                                       {if (!parent.uricheck(stadd)){stadd="";}}
-                               else if (!parent.idcheck(stadd)){stadd="";}                                     
+                                       {if (!top.uricheck(stadd)){stadd="";}}
+                               else if (!top.idcheck(stadd)){stadd="";}
+                               //alert(stadd);                                 
                                }
        if (stadd!="") {parent.mcq=parent.mcq.replace("<font color=\"#ff0000\">[Expr]</font>",stadd);
        //top.qw.document.write(parent.mcq);