mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-24 17:35:35 +02:00
Code Issues Wiki Activity

Bug 421263 - Change externalized names for Copy and Paste commands

Browse source
This commit is contained in:
Uwe Stieber 2013-11-09 09:51:20 +01:00
parent e424a5dfed
commit ff7e6aa3fa
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
plugins/org.eclipse.tm.terminal/plugin.properties
View file

@ -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.