From 48481dbae4297da5c5100dac030e441e4aa41314 Mon Sep 17 00:00:00 2001
From: fkloft <felix.kloft+github@gmail.com>
Date: Mon, 25 May 2015 16:14:33 +0200
Subject: [PATCH] [missions] add "zoom to mission" button on mobile and make
 the "missions in view" button a bit larger

---
 plugins/missions.css     | 3 +++
 plugins/missions.user.js | 7 +++++++
 2 files changed, 10 insertions(+)

diff --git a/plugins/missions.css b/plugins/missions.css
index 5b62638e..381f1429 100644
--- a/plugins/missions.css
+++ b/plugins/missions.css
@@ -8,6 +8,9 @@
 	position: absolute;
 	overflow: auto;
 }
+.plugin-mission-pane > button {
+	padding: 0.3em 2em;
+}
 
 .plugin-mission-summary {
 	padding: 5px;
diff --git a/plugins/missions.user.js b/plugins/missions.user.js
index 473e3f6f..b8dc2ee4 100644
--- a/plugins/missions.user.js
+++ b/plugins/missions.user.js
@@ -146,6 +146,13 @@ window.plugin.missions = {
 				this.tabHeaders[id].parentNode.querySelector('.ui-icon-close').click();
 			}
 			
+			var button = content.insertBefore(document.createElement('button'), content.lastChild);
+			button.textContent = 'Zoom to mission';
+			button.addEventListener('click', function() {
+				me.zoomToMission(mission);
+				show('map');
+			}, false);
+			
 			var li = this.tabBar.appendChild(document.createElement('li'));
 			var a = li.appendChild(document.createElement('a'));
 			a.textContent = mission.title;