webby/javascript/gruntose/launchers.js

   1
   2 <script language="JavaScript1.2">
   3 <!--
   4
   5 ////////////////////////////////////////////////////////////////////////////
   6
   7 // Author: Fred T. Hamster.  Open Source; distributed under GNU Public License.
   8
   9 ////////////////////////////////////////////////////////////////////////////
  10
  11 function jump_appropriate() {
  12 //stopped working:  window.location.reload(true);
  13   window.location = window.location;
  14 }
  15
  16 function jump_to_anchor(anchor) {
  17   window.location.hash = anchor;
  18 }
  19
  20 //-->
  21 </script>
  22