| 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 id="application" | 6 id="application" |
| 7 point="org.eclipse.core.runtime.applications"> | 7 point="org.eclipse.core.runtime.applications"> |
| 8 <application> | 8 <application> |
| 9 <run | 9 <run |
| 10 class="com.google.dart.tools.deploy.DartIDEApplication"> | 10 class="com.google.dart.tools.deploy.DartIDEApplication"> |
| (...skipping 463 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 474 name="%dartPrefName" | 474 name="%dartPrefName" |
| 475 class="com.google.dart.tools.ui.internal.preferences.DartBasePrefere
ncePage" | 475 class="com.google.dart.tools.ui.internal.preferences.DartBasePrefere
ncePage" |
| 476 id="com.google.dart.tools.ui.preferences.DartBasePreferencePage"> | 476 id="com.google.dart.tools.ui.preferences.DartBasePreferencePage"> |
| 477 </page> | 477 </page> |
| 478 <page | 478 <page |
| 479 class="com.google.dart.tools.ui.internal.preferences.FontPreferenceP
age" | 479 class="com.google.dart.tools.ui.internal.preferences.FontPreferenceP
age" |
| 480 id="com.google.dart.tools.ui.fontOptionsPage" | 480 id="com.google.dart.tools.ui.fontOptionsPage" |
| 481 name="%dartFontsPrefName"> | 481 name="%dartFontsPrefName"> |
| 482 </page> | 482 </page> |
| 483 <page | 483 <page |
| 484 name="%dartHintsPrefName" |
| 485 class="com.google.dart.tools.ui.internal.preferences.HintPreferenceP
age" |
| 486 id="com.google.dart.tools.ui.preferences.HintPreferencePage"> |
| 487 </page> |
| 488 <page |
| 484 name="%dartKeysPrefName" | 489 name="%dartKeysPrefName" |
| 485 class="com.google.dart.tools.ui.internal.preferences.DartKeyBindingP
referencePage" | 490 class="com.google.dart.tools.ui.internal.preferences.DartKeyBindingP
referencePage" |
| 486 id="com.google.dart.tools.ui.preferences.DartKeyBindingPreferencePag
e"> | 491 id="com.google.dart.tools.ui.preferences.DartKeyBindingPreferencePag
e"> |
| 487 </page> | 492 </page> |
| 488 <page | 493 <page |
| 489 name="%debugPrefPageName" | 494 name="%debugPrefPageName" |
| 490 class="com.google.dart.tools.debug.ui.internal.preferences.DebugPref
erencePage" | 495 class="com.google.dart.tools.debug.ui.internal.preferences.DebugPref
erencePage" |
| 491 id="com.google.dart.tools.debug.debugPreferencePage"> | 496 id="com.google.dart.tools.debug.debugPreferencePage"> |
| 492 </page> | 497 </page> |
| 493 <page | 498 <page |
| (...skipping 188 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 682 </theme> | 687 </theme> |
| 683 </extension> | 688 </extension> |
| 684 | 689 |
| 685 <extension point="org.eclipse.ui.perspectiveExtensions"> | 690 <extension point="org.eclipse.ui.perspectiveExtensions"> |
| 686 <perspectiveExtension targetID="com.google.dart.tools.ui.DartPerspective"> | 691 <perspectiveExtension targetID="com.google.dart.tools.ui.DartPerspective"> |
| 687 <actionSet id="com.google.dart.tools.debug.ui.breakpointActionSet"/> | 692 <actionSet id="com.google.dart.tools.debug.ui.breakpointActionSet"/> |
| 688 </perspectiveExtension> | 693 </perspectiveExtension> |
| 689 </extension> | 694 </extension> |
| 690 | 695 |
| 691 </plugin> | 696 </plugin> |
| OLD | NEW |