From e424a5dfedb3699ce2fdab518fe2562172cb52aa Mon Sep 17 00:00:00 2001 From: Uwe Stieber Date: Fri, 8 Nov 2013 09:57:33 +0100 Subject: [PATCH] Bug 421263 - "Copy" & "Paste" command labels for tm.terminal unexternalized --- plugins/org.eclipse.tm.terminal/plugin.properties | 3 +++ plugins/org.eclipse.tm.terminal/plugin.xml | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/plugins/org.eclipse.tm.terminal/plugin.properties b/plugins/org.eclipse.tm.terminal/plugin.properties index d7efc1837f0..79c2e49322c 100644 --- a/plugins/org.eclipse.tm.terminal/plugin.properties +++ b/plugins/org.eclipse.tm.terminal/plugin.properties @@ -29,6 +29,9 @@ 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.preferences.name = Terminal terminal.font.description = The font for the terminal console. terminal.font.label = Terminal Console Font diff --git a/plugins/org.eclipse.tm.terminal/plugin.xml b/plugins/org.eclipse.tm.terminal/plugin.xml index 65846803309..6ddb5031ed7 100644 --- a/plugins/org.eclipse.tm.terminal/plugin.xml +++ b/plugins/org.eclipse.tm.terminal/plugin.xml @@ -41,11 +41,11 @@ + name="%terminal.command.copy.name"/> + name="%terminal.command.paste.name"/>