X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fmkindextheory.pl;h=424f688ff0bd747ddbbaac458310fb4c6d869809;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=c92321f123e8d5b08962e917adfea6182e20ab71;hpb=1c693fc961f678220df64a5ba098ba10906828f0;p=helm.git

diff --git a/helm/cgi/mkindextheory.pl b/helm/cgi/mkindextheory.pl
index c92321f12..424f688ff 100755
--- a/helm/cgi/mkindextheory.pl
+++ b/helm/cgi/mkindextheory.pl
@@ -39,7 +39,7 @@ if ($uri ne "theory:/") {
  $output = <<EOT;
 <tr>
 <td><img border="0" src="/icons/back.gif" alt="[BACK]"></td>
-<td><a href="$myurl" onClick="top.frames[0].document.forms[0].hiddentheoryuri.value='$uridotdot'; refreshReload(); refreshTheoryHeader(); this.search='?theoryuri=$uridotdot&getterURL=$getterURL';" onMouseOver="window.status='$uridotdot'; return true">Parent Directory</a></td>
+<td><a href="$myurl" onClick="top.theoryuri='$uridotdot'; refreshReload(); refreshTheoryHeader(); this.search='?theoryuri=$uridotdot&getterURL=$getterURL';" onMouseOver="window.status='$uridotdot'; return true">Parent Directory</a></td>
 </tr>
 EOT
 }
@@ -53,7 +53,7 @@ foreach $i (@filenames) {
       $output .= <<EOT;
 <tr>
 <td><img border="0" src="/icons/folder.gif" alt="[DIR]"></td>
-<td><a href="$myurl" onClick="top.frames[0].document.forms[0].hiddentheoryuri.value='$uri$name'; refreshReload(); refreshTheoryHeader(); this.search='?theoryuri=$uri$name&getterURL=$getterURL';" onMouseOver="window.status='$uri$name'; return true">$name</a></td>
+<td><a href="$myurl" onClick="top.theoryuri='$uri$name'; refreshReload(); refreshTheoryHeader(); this.search='?theoryuri=$uri$name&getterURL=$getterURL';" onMouseOver="window.status='$uri$name'; return true">$name</a></td>
 </tr>
 EOT
    } elsif ($type eq "object") {