From e83a582f7ca446c4971cb5fcb917256e6f6c2f18 Mon Sep 17 00:00:00 2001
From: Stefan Breunig <stefan@mathphys.fsk.uni-heidelberg.de>
Date: Fri, 1 Feb 2013 15:37:07 +0100
Subject: [PATCH] fix map status sometimes being wrong

---
 code/map_data.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/code/map_data.js b/code/map_data.js
index 53ebeff1..453136d6 100644
--- a/code/map_data.js
+++ b/code/map_data.js
@@ -10,6 +10,9 @@
 // not be guessed automatically. Especially useful if a little delay
 // is required, for example when zooming.
 window.startRefreshTimeout = function(override) {
+  // may be required to remove 'paused during interaction' message in
+  // status bar
+  window.renderUpdateStatus();
   if(refreshTimeout) clearTimeout(refreshTimeout);
   if(override) {
     console.log('refreshing in ' + override + 'ms');