Reload map when style setting changed (close #1)

www/assets/js/map.js

@@ -16,12 +16,16 @@ function createMap() {
  * @returns {undefined}
  */
 function reloadMap() {
-    if (map != null) {
+    try {
-        map.off();
+        if (map != null && typeof map != 'undefined') {
-        map.remove();
+            map.off();
-        map = null;
+            map.remove();
+            map = null;
+        }
+        createMap();
+    } catch (ex) {
+        // oh well ¯\(°_o)/¯
     }
-    createMap();
 }
 
 /**

www/assets/js/settings.js

@@ -145,7 +145,8 @@ function pickMapSource() {
                     return;
             }
             localStorage.setItem("mapsource", mapsource);
-
+            // Re-init map to load new style
+            reloadMap();
         }
     }).open();
 }