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 |