From 597d19acfce6597be0877e662f3abf99750ea78f Mon Sep 17 00:00:00 2001
From: fkloft <felix.kloft+github@gmail.com>
Date: Sat, 21 Feb 2015 22:37:50 +0100
Subject: [PATCH] search: pan to portal if position is off screen

---
 code/search.js | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/code/search.js b/code/search.js
index 623d0575..1b4e9aed 100644
--- a/code/search.js
+++ b/code/search.js
@@ -234,12 +234,14 @@ addHook('search', function(query) {
         position: portal.getLatLng(),
         icon: 'data:image/svg+xml;base64,'+btoa('@@INCLUDESTRING:images/icon-portal.svg@@'.replace(/%COLOR%/g, color)),
         onSelected: function(result, event) {
-          if(event.type == 'dblclick')
+          if(event.type == 'dblclick') {
             zoomToAndShowPortal(guid, portal.getLatLng());
-          else if(window.portals[guid])
+          } else if(window.portals[guid]) {
+            if(!map.getBounds().contains(result.position)) map.setView(result.position);
             renderPortalDetails(guid);
-          else
+          } else {
             window.selectPortalByLatLng(portal.getLatLng());
+          }
           return true; // prevent default behavior
         },
       });