| Index: editor/tools/plugins/com.google.dart.tools.ui/plugin.xml
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/plugin.xml b/editor/tools/plugins/com.google.dart.tools.ui/plugin.xml
|
| index 357dc76bac1bd2875ed3f715d65c9b2523e839b4..4d7abfedca050d752019c6e36d784ec61f31117f 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/plugin.xml
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/plugin.xml
|
| @@ -845,10 +845,9 @@
|
| </command>
|
| <command
|
| categoryId="org.eclipse.ui.category.file"
|
| - defaultHandler="com.google.dart.tools.ui.internal.handlers.NewFileHandler"
|
| - description="%Command.newFile.description"
|
| + description="%Command.showInFinder.description"
|
| id="com.google.dart.tools.ui.file.showInFinder"
|
| - name="%Command.newFile.name">
|
| + name="%Command.showInFinder.name">
|
| </command>
|
| <!-- edit -->
|
| <command
|
|
|