make selecting a portal robust against it not being displayed on the map

(now entirely possible now portal data is independant of display status)
This commit is contained in:
Jon Atkins 2013-08-30 06:53:41 +01:00
parent 5784be6b6f
commit 7b838af6e3

View File

@ -156,8 +156,12 @@ window.selectPortal = function(guid) {
if(portals[guid]) { if(portals[guid]) {
// resonatorsSetSelectStyle(guid); // resonatorsSetSelectStyle(guid);
portals[guid].bringToFront();
setMarkerStyle(portals[guid], true); setMarkerStyle(portals[guid], true);
if (map.hasLayer(portals[guid])) {
portals[guid].bringToFront();
}
} }
return update; return update;