| Index: editor/tools/plugins/com.google.dart.tools.ui/plugin.properties
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.ui/plugin.properties (revision 5042)
|
| +++ editor/tools/plugins/com.google.dart.tools.ui/plugin.properties (working copy)
|
| @@ -544,9 +544,9 @@
|
| context.editingJavaSource.description= Editing Dart Source Context
|
|
|
| #--- File menu
|
| -Command.openFile.name= Open...
|
| +Command.openFile.name= Open Folder...
|
| Command.openFile.description= Open a folder
|
| -Command.openFolder.name= Open...
|
| +Command.openFolder.name= Open Folder...
|
| Command.openFolder.description= Open a folder
|
| Command.newFile.name= New File...
|
| Command.newFile.description= Create a new file
|
|
|