| OLD | NEW |
| 1 <?xml version="1.0" encoding="UTF-8"?> | 1 <?xml version="1.0" encoding="UTF-8"?> |
| 2 <?eclipse version="3.4"?> | 2 <?eclipse version="3.4"?> |
| 3 <plugin> | 3 <plugin> |
| 4 | 4 |
| 5 <extension | 5 <extension |
| 6 point="org.eclipse.core.expressions.propertyTesters"> | 6 point="org.eclipse.core.expressions.propertyTesters"> |
| 7 <propertyTester | 7 <propertyTester |
| 8 id="com.google.dart.tools.debug.dartPropertyTester" | 8 id="com.google.dart.tools.debug.dartPropertyTester" |
| 9 namespace="com.google.dart.tools.debug" | 9 namespace="com.google.dart.tools.debug" |
| 10 properties="isDartProject" | 10 properties="isDartProject" |
| 11 type="org.eclipse.core.runtime.IAdaptable" | 11 type="org.eclipse.core.runtime.IAdaptable" |
| 12 class="com.google.dart.tools.debug.ui.internal.util.DartPropertyTester"
> | 12 class="com.google.dart.tools.debug.ui.internal.util.DartPropertyTester"
> |
| 13 </propertyTester> | 13 </propertyTester> |
| 14 <propertyTester | 14 <propertyTester |
| 15 id="com.google.dart.tools.debug.dartPropertyTester" | 15 id="com.google.dart.tools.debug.dartPropertyTester" |
| 16 namespace="com.google.dart.tools.debug" | 16 namespace="com.google.dart.tools.debug" |
| 17 properties="isInDartProject" | 17 properties="isInDartProject" |
| 18 type="org.eclipse.core.runtime.IAdaptable" | 18 type="org.eclipse.core.runtime.IAdaptable" |
| 19 class="com.google.dart.tools.debug.ui.internal.util.DartPropertyTester"
> | 19 class="com.google.dart.tools.debug.ui.internal.util.DartPropertyTester"
> |
| 20 </propertyTester> | 20 </propertyTester> |
| 21 </extension> | 21 </extension> |
| 22 | 22 |
| 23 <!-- Client launch configuration --> | 23 <!-- Client launch configuration --> |
| 24 <extension | 24 <extension |
| 25 point="org.eclipse.debug.core.launchConfigurationTypes"> | 25 point="org.eclipse.debug.core.launchConfigurationTypes"> |
| 26 <launchConfigurationType | 26 <launchConfigurationType |
| 27 delegate="com.google.dart.tools.debug.ui.internal.client.BrowserLaun
chConfigurationDelegate" | 27 delegate="com.google.dart.tools.debug.ui.internal.browser.BrowserLau
nchConfigurationDelegate" |
| 28 id="com.google.dart.tools.debug.core.browserLaunchConfig" | 28 id="com.google.dart.tools.debug.core.browserLaunchConfig" |
| 29 modes="run,debug" | 29 modes="run,debug" |
| 30 name="%dart.launch.config.client.name"> | 30 name="%dart.launch.config.client.name"> |
| 31 </launchConfigurationType> | 31 </launchConfigurationType> |
| 32 </extension> | 32 </extension> |
| 33 | 33 |
| 34 <!--extension | 34 <extension |
| 35 point="org.eclipse.debug.ui.launchConfigurationTypeImages"> | 35 point="org.eclipse.debug.ui.launchConfigurationTypeImages"> |
| 36 <launchConfigurationTypeImage | 36 <launchConfigurationTypeImage |
| 37 configTypeID="com.google.dart.tools.debug.core.clientLaunchConfig" | 37 configTypeID="com.google.dart.tools.debug.core.browserLaunchConfig" |
| 38 icon="icons/dart_app.png" | 38 icon="icons/dart_app.png" |
| 39 id="com.google.dart.tools.debug.ui.dartJsLaunchConfigurationTypeImag
e"> | 39 id="com.google.dart.tools.debug.core.browserLaunchConfigImage"> |
| 40 </launchConfigurationTypeImage> | 40 </launchConfigurationTypeImage> |
| 41 </extension> | 41 </extension> |
| 42 | 42 |
| 43 <extension | 43 <extension |
| 44 point="org.eclipse.debug.ui.launchConfigurationTabGroups"> | 44 point="org.eclipse.debug.ui.launchConfigurationTabGroups"> |
| 45 <launchConfigurationTabGroup | 45 <launchConfigurationTabGroup |
| 46 class="com.google.dart.tools.debug.ui.internal.client.DartJsLaunchCo
nfigurationTabGroup" | 46 class="com.google.dart.tools.debug.ui.internal.browser.BrowserLaunch
ConfigurationTabGroup" |
| 47 id="com.google.dart.tools.debug.ui.dartJsLaunchConfigurationTabGroup
" | 47 id="com.google.dart.tools.debug.core.browserLaunchConfigTabGroup" |
| 48 type="com.google.dart.tools.debug.core.clientLaunchConfig"> | 48 type="com.google.dart.tools.debug.core.browserLaunchConfig"> |
| 49 </launchConfigurationTabGroup> | 49 </launchConfigurationTabGroup> |
| 50 </extension> | 50 </extension> |
| 51 | 51 |
| 52 <extension | |
| 53 point="org.eclipse.debug.ui.launchConfigurationTabs"> | |
| 54 <tab | |
| 55 class="com.google.dart.tools.debug.ui.internal.client.MainDartJsLaun
chConfigurationTab" | |
| 56 group="com.google.dart.tools.debug.ui.dartJsLaunchConfigurationTabGr
oup" | |
| 57 id="com.google.dart.tools.debug.ui.dartJsLaunchConfigurationTab" | |
| 58 name="%dart.launch.config.tab.main"> | |
| 59 </tab> | |
| 60 </extension --> | |
| 61 | |
| 62 <!-- TODO(devoncarew): commented out for the 8/1/2011 demo --> | 52 <!-- TODO(devoncarew): commented out for the 8/1/2011 demo --> |
| 63 <!-- extension | 53 <!-- extension |
| 64 point="org.eclipse.debug.ui.launchShortcuts"> | 54 point="org.eclipse.debug.ui.launchShortcuts"> |
| 65 <shortcut | 55 <shortcut |
| 66 class="com.google.dart.tools.debug.ui.internal.client.DartJsApplicat
ionLaunchShortcut" | 56 class="com.google.dart.tools.debug.ui.internal.client.DartJsApplicat
ionLaunchShortcut" |
| 67 icon="icons/dart_app.png" | 57 icon="icons/dart_app.png" |
| 68 id="com.google.dart.tools.debug.ui.dartJsAppShortcut" | 58 id="com.google.dart.tools.debug.ui.dartJsAppShortcut" |
| 69 label="%dart.launch.shortcut.label" | 59 label="%dart.launch.shortcut.label" |
| 70 modes="run,debug"> | 60 modes="run,debug"> |
| 71 <configurationType | 61 <configurationType |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 107 <launchConfigurationTypeImage | 97 <launchConfigurationTypeImage |
| 108 configTypeID="com.google.dart.tools.debug.core.dartiumLaunchConfig" | 98 configTypeID="com.google.dart.tools.debug.core.dartiumLaunchConfig" |
| 109 icon="icons/chromium_16.png" | 99 icon="icons/chromium_16.png" |
| 110 id="com.google.dart.tools.debug.core.chromeLaunchConfigImage"> | 100 id="com.google.dart.tools.debug.core.chromeLaunchConfigImage"> |
| 111 </launchConfigurationTypeImage> | 101 </launchConfigurationTypeImage> |
| 112 </extension> | 102 </extension> |
| 113 | 103 |
| 114 <extension | 104 <extension |
| 115 point="org.eclipse.debug.ui.launchConfigurationTabGroups"> | 105 point="org.eclipse.debug.ui.launchConfigurationTabGroups"> |
| 116 <launchConfigurationTabGroup | 106 <launchConfigurationTabGroup |
| 117 class="com.google.dart.tools.debug.ui.internal.dartium.DartChromeTab
Group" | 107 class="com.google.dart.tools.debug.ui.internal.dartium.DartiumTabGro
up" |
| 118 id="com.google.dart.tools.debug.core.chromeLaunchConfigTabGroup" | 108 id="com.google.dart.tools.debug.core.chromeLaunchConfigTabGroup" |
| 119 type="com.google.dart.tools.debug.core.dartiumLaunchConfig"> | 109 type="com.google.dart.tools.debug.core.dartiumLaunchConfig"> |
| 120 </launchConfigurationTabGroup> | 110 </launchConfigurationTabGroup> |
| 121 </extension> | 111 </extension> |
| 122 | 112 |
| 123 <extension | 113 <extension |
| 124 point="org.eclipse.debug.ui.launchShortcuts"> | 114 point="org.eclipse.debug.ui.launchShortcuts"> |
| 125 <shortcut | 115 <shortcut |
| 126 class="com.google.dart.tools.debug.ui.internal.dartium.DartiumLaunch
Shortcut" | 116 class="com.google.dart.tools.debug.ui.internal.dartium.DartiumLaunch
Shortcut" |
| 127 icon="icons/chromium_16.png" | 117 icon="icons/chromium_16.png" |
| (...skipping 234 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 362 disabledIcon="icons/full/dtool16/run_exc.gif" | 352 disabledIcon="icons/full/dtool16/run_exc.gif" |
| 363 icon="icons/full/etool16/run_exc.gif" | 353 icon="icons/full/etool16/run_exc.gif" |
| 364 helpContextId="run_action_context" | 354 helpContextId="run_action_context" |
| 365 label="Run" | 355 label="Run" |
| 366 style="pulldown"> | 356 style="pulldown"> |
| 367 </action> | 357 </action> |
| 368 </actionSet> | 358 </actionSet> |
| 369 </extension--> | 359 </extension--> |
| 370 | 360 |
| 371 </plugin> | 361 </plugin> |
| OLD | NEW |