From ace4b369ea87ab3e2e18236b1cb33aa8984330cf Mon Sep 17 00:00:00 2001
From: Robert Kaiser <kairo@kairo.at>
Date: Fri, 1 May 2015 03:08:41 +0200
Subject: [PATCH] make sure to actually update the selected map style in the
 selector

---
 js/map.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/map.js b/js/map.js
index 10e7d46..53b076a 100644
--- 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");
-- 
2.43.0