| Index: editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.xml
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.xml (revision 3372)
|
| +++ editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.xml (working copy)
|
| @@ -24,41 +24,31 @@
|
| <extension
|
| point="org.eclipse.debug.core.launchConfigurationTypes">
|
| <launchConfigurationType
|
| - delegate="com.google.dart.tools.debug.ui.internal.client.BrowserLaunchConfigurationDelegate"
|
| + delegate="com.google.dart.tools.debug.ui.internal.browser.BrowserLaunchConfigurationDelegate"
|
| id="com.google.dart.tools.debug.core.browserLaunchConfig"
|
| modes="run,debug"
|
| name="%dart.launch.config.client.name">
|
| </launchConfigurationType>
|
| </extension>
|
|
|
| - <!--extension
|
| + <extension
|
| point="org.eclipse.debug.ui.launchConfigurationTypeImages">
|
| <launchConfigurationTypeImage
|
| - configTypeID="com.google.dart.tools.debug.core.clientLaunchConfig"
|
| + configTypeID="com.google.dart.tools.debug.core.browserLaunchConfig"
|
| icon="icons/dart_app.png"
|
| - id="com.google.dart.tools.debug.ui.dartJsLaunchConfigurationTypeImage">
|
| + id="com.google.dart.tools.debug.core.browserLaunchConfigImage">
|
| </launchConfigurationTypeImage>
|
| </extension>
|
|
|
| <extension
|
| point="org.eclipse.debug.ui.launchConfigurationTabGroups">
|
| <launchConfigurationTabGroup
|
| - class="com.google.dart.tools.debug.ui.internal.client.DartJsLaunchConfigurationTabGroup"
|
| - id="com.google.dart.tools.debug.ui.dartJsLaunchConfigurationTabGroup"
|
| - type="com.google.dart.tools.debug.core.clientLaunchConfig">
|
| + class="com.google.dart.tools.debug.ui.internal.browser.BrowserLaunchConfigurationTabGroup"
|
| + id="com.google.dart.tools.debug.core.browserLaunchConfigTabGroup"
|
| + type="com.google.dart.tools.debug.core.browserLaunchConfig">
|
| </launchConfigurationTabGroup>
|
| </extension>
|
|
|
| - <extension
|
| - point="org.eclipse.debug.ui.launchConfigurationTabs">
|
| - <tab
|
| - class="com.google.dart.tools.debug.ui.internal.client.MainDartJsLaunchConfigurationTab"
|
| - group="com.google.dart.tools.debug.ui.dartJsLaunchConfigurationTabGroup"
|
| - id="com.google.dart.tools.debug.ui.dartJsLaunchConfigurationTab"
|
| - name="%dart.launch.config.tab.main">
|
| - </tab>
|
| - </extension -->
|
| -
|
| <!-- TODO(devoncarew): commented out for the 8/1/2011 demo -->
|
| <!-- extension
|
| point="org.eclipse.debug.ui.launchShortcuts">
|
| @@ -114,7 +104,7 @@
|
| <extension
|
| point="org.eclipse.debug.ui.launchConfigurationTabGroups">
|
| <launchConfigurationTabGroup
|
| - class="com.google.dart.tools.debug.ui.internal.dartium.DartChromeTabGroup"
|
| + class="com.google.dart.tools.debug.ui.internal.dartium.DartiumTabGroup"
|
| id="com.google.dart.tools.debug.core.chromeLaunchConfigTabGroup"
|
| type="com.google.dart.tools.debug.core.dartiumLaunchConfig">
|
| </launchConfigurationTabGroup>
|
|
|