Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(356)

Side by Side Diff: editor/tools/plugins/com.google.dart.tools.deploy/plugin.xml

Issue 23496048: Add additional hints to the analyzer to catch the 'x is double' dart2js bug. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Rebase to latest & merge Created 7 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
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
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
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>
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698