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"/>