From 977482a2f52a741c39308bbb62a62d6d47a50cee Mon Sep 17 00:00:00 2001
From: Jon Atkins <github@jonatkins.com>
Date: Tue, 7 Apr 2015 21:55:17 +0100
Subject: [PATCH] minor tweaks to wording - less verbose

---
 plugins/missions.user.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/plugins/missions.user.js b/plugins/missions.user.js
index aa76a29a..86d68e75 100644
--- a/plugins/missions.user.js
+++ b/plugins/missions.user.js
@@ -89,7 +89,7 @@ window.plugin.missions = {
 		// After select.
 		setTimeout(function() {
 			// #resodetails
-			$('.linkdetails').append('<a href="#" onclick="plugin.missions.openPortalMissions();" >Open mission(s)</a>');
+			$('.linkdetails').append('<a href="#" onclick="plugin.missions.openPortalMissions();" >Missions</a>');
 		}, 0);
 	},
 
@@ -622,7 +622,7 @@ window.plugin.missions = {
 			this.settings.checkedMissions = {};
 		}
 
-		$('#toolbox').append('<a href="#" onclick="plugin.missions.openTopMissions();" >Open mission(s) in window</a>');
+		$('#toolbox').append('<a href="#" onclick="plugin.missions.openTopMissions();" >Missions in view</a>');
 
 		// window.addPortalHighlighter('Mission start point', this.highlight.bind(this));
 		window.addHook('portalSelected', this.onPortalSelected.bind(this));
@@ -668,4 +668,4 @@ var setup = window.plugin.missions.setup.bind(window.plugin.missions);
 
 // PLUGIN END //////////////////////////////////////////////////////////
 
-@@PLUGINEND@@
\ No newline at end of file
+@@PLUGINEND@@