From 514742414f35937e15c93dac8d48d1dc9b8e6be7 Mon Sep 17 00:00:00 2001 From: Chris Koeritz Date: Wed, 4 Jun 2014 15:51:14 -0400 Subject: [PATCH] trying to get reload button on gruntose working again. --- webby/javascript/gruntose/launchers.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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) { -- 2.34.1