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 |