Index: editor/tools/plugins/com.google.dart.eclipse.ui/plugin.xml |
=================================================================== |
--- editor/tools/plugins/com.google.dart.eclipse.ui/plugin.xml (revision 24253) |
+++ editor/tools/plugins/com.google.dart.eclipse.ui/plugin.xml (working copy) |
@@ -56,6 +56,10 @@ |
<extension |
point="org.eclipse.ui.bindings"> |
<key |
+ commandId="org.eclipse.ui.edit.findReplace" |
+ sequence="M1+F" |
+ schemeId="com.google.dart.tools.dartAcceleratorConfiguration" /> |
+ <key |
commandId="com.google.dart.tools.ui.edit.text.dart.show.outline" |
contextId="com.google.dart.tools.ui.dartEditorScope" |
schemeId="org.eclipse.ui.defaultAcceleratorConfiguration" |