scripts/web/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   window.location.reload(true);
  13 }
  14
  15 function jump_to_anchor(anchor) {
  16   window.location.hash = anchor;
  17 }
  18
  19 //-->
  20 </script>
  21