Make JSObserver work with Leaflet. Fixes #1451.

2018-10-08 19:35:37 +02:00
parent 3cceaf5869
commit 4efb9f2d89
4 changed files with 47 additions and 2 deletions
--- a/overviewer_core/data/js_src/overviewer.js
+++ b/overviewer_core/data/js_src/overviewer.js
@@ -15,6 +15,7 @@ overviewer.worldCtrl = null;
 overviewer.layerCtrl = null;
 overviewer.compass = null;
 overviewer.coord_box = null;
+overviewer.progress = null;
 overviewer.current_world = null;

 /// Records the current layer by name (if any) of each world