fix map status sometimes being wrong
This commit is contained in:
parent
50d21ce03a
commit
e83a582f7c
@ -10,6 +10,9 @@
|
|||||||
// not be guessed automatically. Especially useful if a little delay
|
// not be guessed automatically. Especially useful if a little delay
|
||||||
// is required, for example when zooming.
|
// is required, for example when zooming.
|
||||||
window.startRefreshTimeout = function(override) {
|
window.startRefreshTimeout = function(override) {
|
||||||
|
// may be required to remove 'paused during interaction' message in
|
||||||
|
// status bar
|
||||||
|
window.renderUpdateStatus();
|
||||||
if(refreshTimeout) clearTimeout(refreshTimeout);
|
if(refreshTimeout) clearTimeout(refreshTimeout);
|
||||||
if(override) {
|
if(override) {
|
||||||
console.log('refreshing in ' + override + 'ms');
|
console.log('refreshing in ' + override + 'ms');
|
||||||
|
Loading…
x
Reference in New Issue
Block a user