From 88c404eca0a87c69e1c9951b03a89cef03a2e9c7 Mon Sep 17 00:00:00 2001
From: Jon Atkins <github@jonatkins.com>
Date: Mon, 14 Jul 2014 20:44:20 +0100
Subject: [PATCH] force re-render of the selected portal at the end of map
 rendering, to ensure any details that depend on map data are correct for #827

---
 code/map_data_render.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/code/map_data_render.js b/code/map_data_render.js
index 52304ca0..c084e875 100644
--- a/code/map_data_render.js
+++ b/code/map_data_render.js
@@ -141,6 +141,11 @@ window.Render.prototype.endRenderPass = function() {
   this.bringPortalsToFront();
 
   this.isRendering = false;
+
+  // re-select the selected portal, to re-render the side-bar. ensures that any data calculated from the map data is up to date
+  if (selectedPortal) {
+    renderPortalDetails (selectedPortal);
+  }
 }
 
 window.Render.prototype.bringPortalsToFront = function() {