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.