| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java
|
| index 63cadea6a5bf8415199872832ca0dcb12ba071c7..9c121312b81aa34151a59c573475d839c7c66d3e 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java
|
| @@ -71,6 +71,7 @@ public class DartCoreDebug {
|
| public static final boolean ENABLE_ANALYSIS_SERVER = isOptionTrue("experimental/analysisServer");
|
| public static final boolean ANALYSIS_SERVER_DEBUG = isOptionTrue("experimental/analysisServer/debug");
|
| public static final String ANALYSIS_SERVER_LOG_FILE = getOptionValue("experimental/analysisServer/logFile");
|
| + public static final boolean NO_PUB_PACKAGES = isOptionTrue("experimental/noPubPackages");
|
|
|
| // Persistent developer settings
|
|
|
| @@ -111,6 +112,7 @@ public class DartCoreDebug {
|
| instrumentation.metric("ENABLE_THEMES", ENABLE_THEMES);
|
| instrumentation.metric("ENABLE_TAB_COLORING", ENABLE_TAB_COLORING);
|
| instrumentation.metric("ENABLE_HTML_VALIDATION", ENABLE_HTML_VALIDATION);
|
| + instrumentation.metric("NO_PUB_PACKAGES", NO_PUB_PACKAGES);
|
|
|
| instrumentation.metric("DISABLE_MARK_OCCURRENCES", DISABLE_MARK_OCCURRENCES);
|
|
|
|
|