| Index: editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.properties
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.properties (revision 3372)
|
| +++ editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.properties (working copy)
|
| @@ -1,18 +1,18 @@
|
| #########################################
|
| -# Copyright (c) 2011, the Dart project authors
|
| +# Copyright (c) 2012, the Dart project authors
|
| # All Rights Reserved.
|
| #########################################
|
|
|
| pluginName = Dart Debug UI for Eclipse
|
| providerName = Dart
|
|
|
| -dart.launch.config.client.name = Dart Client Application
|
| +dart.launch.config.client.name = Dart Web Launch
|
|
|
| dart.launch.config.tab.main = Main
|
| -dart.launch.shortcut.label = Dart Client Application
|
| +dart.launch.shortcut.label = Dart Web Launch
|
|
|
| -dart.serverlaunch.shortcut.label = Dart Server Application
|
| -dart.chromelaunch.shortcut.label = Dart in Chrome
|
| +dart.serverlaunch.shortcut.label = Dart Server Launch
|
| +dart.chromelaunch.shortcut.label = Dartium Launch
|
|
|
| debugPreferencePageName = Launch
|
|
|
|
|