]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f641e5f)
Last update before dismission
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Mar 2001 17:37:12 +0000 (17:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Mar 2001 17:37:12 +0000 (17:37 +0000)
helm/cgi/mkcontrol.pl patch | blob | history
helm/cgi/mkindexcic.pl patch | blob | history
helm/cgi/mkindextheory.pl patch | blob | history

diff --git a/helm/cgi/mkcontrol.pl b/helm/cgi/mkcontrol.pl
index 5acadae5695e85e750ee78133916208cbe5510c3..e314aa778c855e8cf629d846693fbe06d2c55484 100755 (executable)
--- a/helm/cgi/mkcontrol.pl
+++ b/helm/cgi/mkcontrol.pl
@@ -40,6 +40,8 @@ Content-type: text/html
 <html>
 <head>
 <title>Control panel</title>
+<script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/utils.js">
+<script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/utils.js">
 <script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/control.js">
 </script>
 </head>
@@ -81,12 +83,14 @@ print <<EOT;
     <td>
      <a target="_top" href="$topurl?mode=$mode&cicuri=$cicuri&theoryuri=$theoryuri&processorURL=$processorURL&getterURL=$getterURL">Reload</a><br>
      (do it also before attempting to take a link to the current page)
-     <input type="hidden" name="hiddenprocessorURL" value="$processorURL">
-     <input type="hidden" name="hiddengetterURL" value="$getterURL">
-     <input type="hidden" name="hiddentopurl" value="$topurl">
-     <input type="hidden" name="hiddenmode" value="$mode">
-     <input type="hidden" name="hiddencicuri" value="$cicuri">
-     <input type="hidden" name="hiddentheoryuri" value="$theoryuri">
+     <script>
+       top.processorURL = getParam('processorURL');
+       top.getterURL = getParam('getterURL');
+       top.topurl = getParam('topurl');
+       top.mode = getParam('mode');
+       top.cicuri = getParam('cicuri');
+       top.theoryuri = getParam('theoryuri');
+     </script>
     </td>
   </tr>
   <tr>
diff --git a/helm/cgi/mkindexcic.pl b/helm/cgi/mkindexcic.pl
index 6e0a566b1264ee3f2ffc779230397075d2e03ab8..a31f5ecfb08d2316e919fd37df760e0016c99950 100755 (executable)
--- a/helm/cgi/mkindexcic.pl
+++ b/helm/cgi/mkindexcic.pl
@@ -39,7 +39,7 @@ if ($uri ne "cic:/") {
  $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].hiddencicuri.value='$uridotdot'; refreshReload(); refreshCICHeader(); this.search='?cicuri=$uridotdot&getterURL=$getterURL';" onMouseOver="window.status='$uridotdot'; return true">Parent Directory</a></td>
+<td><a href="$myurl" onClick="top.cicuri='$uridotdot'; refreshReload(); refreshCICHeader(); this.search='?cicuri=$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].hiddencicuri.value='$uri$name'; refreshReload(); refreshCICHeader(); this.search='?cicuri=$uri$name&getterURL=$getterURL';" onMouseOver="window.status='$uri$name'; return true">$name</a></td>
+<td><a href="$myurl" onClick="top.cicuri='$uri$name'; refreshReload(); refreshCICHeader(); this.search='?cicuri=$uri$name&getterURL=$getterURL';" onMouseOver="window.status='$uri$name'; return true">$name</a></td>
 </tr>
 </tr>
 EOT
diff --git a/helm/cgi/mkindextheory.pl b/helm/cgi/mkindextheory.pl
index c92321f123e8d5b08962e917adfea6182e20ab71..424f688ff0bd747ddbbaac458310fb4c6d869809 100755 (executable)
--- 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") {
Unnamed repository; edit this file 'description' to name the repository.