From ff7e6aa3fae83ac4eebc75a750c350c4b7f199ce Mon Sep 17 00:00:00 2001
From: Uwe Stieber <uwe.stieber@windriver.com>
Date: Sat, 9 Nov 2013 09:51:20 +0100
Subject: [PATCH] Bug 421263 - Change externalized names for Copy and Paste
 commands

---
 plugins/org.eclipse.tm.terminal/plugin.properties | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugins/org.eclipse.tm.terminal/plugin.properties b/plugins/org.eclipse.tm.terminal/plugin.properties
index 79c2e49322c..c19e3036171 100644
--- a/plugins/org.eclipse.tm.terminal/plugin.properties
+++ b/plugins/org.eclipse.tm.terminal/plugin.properties
@@ -29,8 +29,8 @@ terminal.insertion.name=Terminal view insert
 terminal.insertion.category.name=Terminal view commands
 terminal.view.insertion.description = Terminal view commands
 
-terminal.command.copy.name=Terminal Copy Command
-terminal.command.paste.name=Terminal Paste Command
+terminal.command.copy.name=Copy
+terminal.command.paste.name=Paste
 
 terminal.preferences.name = Terminal
 terminal.font.description = The font for the terminal console.