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

Unified 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 side-by-side diff with in-line comments
Download patch
Index: editor/tools/plugins/com.google.dart.eclipse.ui/plugin.xml
diff --git a/editor/tools/plugins/com.google.dart.eclipse.ui/plugin.xml b/editor/tools/plugins/com.google.dart.eclipse.ui/plugin.xml
index 22e93418924d8e0d822d685fbfacb2e007a100ec..1b08534ee670c66ecd623142609a55745c1ffb33 100644
--- a/editor/tools/plugins/com.google.dart.eclipse.ui/plugin.xml
+++ b/editor/tools/plugins/com.google.dart.eclipse.ui/plugin.xml
@@ -171,6 +171,11 @@
name="%debugPrefPageName">
</page>
<page
+ name="%dartHintsPrefName"
+ class="com.google.dart.tools.ui.internal.preferences.HintPreferencePage"
+ id="com.google.dart.tools.ui.preferences.HintPreferencePage">
+ </page>
+ <page
category="com.google.dart.tools.ui.preferences.DartBasePreferencePage"
class="com.google.dart.eclipse.preferences.SdkPreferencePage"
id="com.google.dart.eclipse.preferences.sdkPreferencePage"

Powered by Google App Engine
This is Rietveld 408576698