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

Side by Side Diff: editor/tools/plugins/com.google.dart.eclipse.ui/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 <extension 4 <extension
5 point="org.eclipse.ui.newWizards"> 5 point="org.eclipse.ui.newWizards">
6 <category 6 <category
7 id="com.google.dart.eclipse.wizards.projects" 7 id="com.google.dart.eclipse.wizards.projects"
8 name="Dart"> 8 name="Dart">
9 </category> 9 </category>
10 10
(...skipping 153 matching lines...) Expand 10 before | Expand all | Expand 10 after
164 name="%analysisPrefName"> 164 name="%analysisPrefName">
165 </page> 165 </page>
166 --> 166 -->
167 <page 167 <page
168 category="com.google.dart.tools.ui.preferences.DartBasePreferencePag e" 168 category="com.google.dart.tools.ui.preferences.DartBasePreferencePag e"
169 class="com.google.dart.tools.debug.ui.internal.preferences.DebugPref erencePage" 169 class="com.google.dart.tools.debug.ui.internal.preferences.DebugPref erencePage"
170 id="com.google.dart.tools.debug.debugPreferencePage" 170 id="com.google.dart.tools.debug.debugPreferencePage"
171 name="%debugPrefPageName"> 171 name="%debugPrefPageName">
172 </page> 172 </page>
173 <page 173 <page
174 name="%dartHintsPrefName"
175 class="com.google.dart.tools.ui.internal.preferences.HintPreferenceP age"
176 id="com.google.dart.tools.ui.preferences.HintPreferencePage">
177 </page>
178 <page
174 category="com.google.dart.tools.ui.preferences.DartBasePreferencePag e" 179 category="com.google.dart.tools.ui.preferences.DartBasePreferencePag e"
175 class="com.google.dart.eclipse.preferences.SdkPreferencePage" 180 class="com.google.dart.eclipse.preferences.SdkPreferencePage"
176 id="com.google.dart.eclipse.preferences.sdkPreferencePage" 181 id="com.google.dart.eclipse.preferences.sdkPreferencePage"
177 name="%sdkPrefPageName"> 182 name="%sdkPrefPageName">
178 </page> 183 </page>
179 </extension> 184 </extension>
180 185
181 <extension 186 <extension
182 point="org.eclipse.ui.navigator.navigatorContent"> 187 point="org.eclipse.ui.navigator.navigatorContent">
183 <navigatorContent 188 <navigatorContent
(...skipping 287 matching lines...) Expand 10 before | Expand all | Expand 10 after
471 icon="icons/dart_16_16.gif" 476 icon="icons/dart_16_16.gif"
472 id="com.google.dart.eclipse.sendFeedbackAction" 477 id="com.google.dart.eclipse.sendFeedbackAction"
473 label="%action.sendFeedbackAction.label" 478 label="%action.sendFeedbackAction.label"
474 menubarPath="help/helpEnd" 479 menubarPath="help/helpEnd"
475 style="push"> 480 style="push">
476 </action> 481 </action>
477 </actionSet> 482 </actionSet>
478 </extension> 483 </extension>
479 484
480 </plugin> 485 </plugin>
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698