From b9c96a81c220b9fd6cd4ecb77f2c528ef88414a1 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 --- terminal/plugins/org.eclipse.tm.terminal/plugin.properties | 3 +++ terminal/plugins/org.eclipse.tm.terminal/plugin.xml | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/terminal/plugins/org.eclipse.tm.terminal/plugin.properties b/terminal/plugins/org.eclipse.tm.terminal/plugin.properties index d7efc1837f0..79c2e49322c 100644 --- a/terminal/plugins/org.eclipse.tm.terminal/plugin.properties +++ b/terminal/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/terminal/plugins/org.eclipse.tm.terminal/plugin.xml b/terminal/plugins/org.eclipse.tm.terminal/plugin.xml index 65846803309..6ddb5031ed7 100644 --- a/terminal/plugins/org.eclipse.tm.terminal/plugin.xml +++ b/terminal/plugins/org.eclipse.tm.terminal/plugin.xml @@ -41,11 +41,11 @@ + name="%terminal.command.copy.name"/> + name="%terminal.command.paste.name"/>