make sure to actually update the selected map style in the selector

diff --git a/js/map.js b/js/map.js
index 10e7d465d18c50ddc50320bc1912e0bebec34c67..53b076af255bfc746a9ced40b6c2a2504fd4a4e7 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");