make sure to actually update the selected map style in the selector
authorRobert Kaiser <kairo@kairo.at>
Fri, 1 May 2015 01:08:41 +0000 (03:08 +0200)
committerRobert Kaiser <kairo@kairo.at>
Fri, 1 May 2015 01:08:41 +0000 (03:08 +0200)
js/map.js

index 10e7d46..53b076a 100644 (file)
--- a/js/map.js
+++ b/js/map.js
@@ -175,6 +175,7 @@ function loadPrefs(aEvent) {
     gPrefs.get("active_map_style", function(aValue) {
       if (aValue && gMapStyles[aValue]) {
         gMap.activeMap = aValue;
+        document.getElementById("mapSelector").value = aValue;
       }
       gWaitCounter--;
       var throwEv = new CustomEvent("prefs-step");