From: Chris Koeritz <fred@gruntose.com>
Date: Wed, 4 Jun 2014 19:51:14 +0000 (-0400)
Subject: trying to get reload button on gruntose working again.
X-Git-Tag: 2.140.90~784
X-Git-Url: https://feistymeow.org/gitweb/?a=commitdiff_plain;h=514742414f35937e15c93dac8d48d1dc9b8e6be7;p=feisty_meow.git

trying to get reload button on gruntose working again.
---

diff --git a/webby/javascript/gruntose/launchers.js b/webby/javascript/gruntose/launchers.js
index 08723dd7..9349ad3a 100644
--- a/webby/javascript/gruntose/launchers.js
+++ b/webby/javascript/gruntose/launchers.js
@@ -9,7 +9,8 @@
 ////////////////////////////////////////////////////////////////////////////
 
 function jump_appropriate() {
-  window.location.reload(true);
+//stopped working:  window.location.reload(true);
+  window.location = window.location;
 }
 
 function jump_to_anchor(anchor) {