| Index: editor/tools/plugins/com.google.dart.tools.ui/plugin.properties
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/plugin.properties b/editor/tools/plugins/com.google.dart.tools.ui/plugin.properties
|
| index ea670f105ddc000e7f85eee77c64c0d3bc708915..ca1c9eeb54979e2d0ac884627860fb5cfff6ecc8 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/plugin.properties
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/plugin.properties
|
| @@ -510,6 +510,8 @@ Command.openFolder.name= Open Existing Folder...
|
| Command.openFolder.description= Open an existing folder
|
| Command.newFile.name= New File...
|
| Command.newFile.description= Create a new file
|
| +Command.showInFinder.name= Show in Finder
|
| +Command.showInFinder.description= Show current file in File Manager
|
| Command.newApplication.name= New Application...
|
| Command.newApplication.description= Create a new application
|
|
|
|
|