Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java (revision 15619) |
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java (working copy) |
@@ -52,6 +52,7 @@ |
public static final boolean ENABLE_FORMATTER = isOptionTrue("experimental/formatter"); |
public static final boolean ENABLE_THEMES = true; //isOptionTrue("experimental/themes"); |
public static final boolean ENABLE_HTML_VALIDATION = isOptionTrue("experimental/validateHtml"); |
+ public static final boolean ENABLE_NEW_ANALYSIS = isOptionTrue("experimental/analysis/engine"); |
// Pub |