| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| index 7fddbccd5cb59f9d2eba7fb97c96ec15599632ef..74601adf1129d262f8dcb5e1f05da3dd60b1b6b2 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| @@ -123,7 +123,7 @@ public class DartCore extends Plugin {
|
| /**
|
| * Preference to control if "not a member" warnings should be suppressed for inferred types.
|
| */
|
| - public static final String SUPPRESS_NO_MEMBER_FOR_INFERRED_TYPES = "suppressNoMemberWarningForInferredTypes";
|
| + public static final String MEMBER_WARNING_FOR_INFERRED_TYPES = "suppressNoMemberWarningForInferredTypes";
|
|
|
| /**
|
| * Cached extensions for CSS files.
|
|
|