Index: editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.properties |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.properties (revision 15120) |
+++ editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.properties (working copy) |
@@ -12,9 +12,9 @@ |
dart.serverlaunch.shortcut.label = Dart Command-line launch |
dart.dartiumlaunch.shortcut.label = Dartium launch |
-dart.clientlaunch.shortcut.label = Dart JavaScript launch |
+dart.clientlaunch.shortcut.label = Dart2js launch |
-dart.launch.config.client.name = Dart JavaScript launch |
+dart.launch.config.client.name = Dart2js launch |
debugPreferencePageName = Launch |