| 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 e8c0813ae9911640237a4719ca6e4262f2656424..f4ff3d0f3cf1b1270d0e40de44b5d57227f7da03 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
|
| @@ -75,6 +75,8 @@ public class DartCoreDebug {
|
|
|
| public static final String ANALYSIS_SERVER_INSTRUMENTATION_LOG_FILE = getOptionValue("experimental/analysisServer/instrumentationLogFile");
|
|
|
| + public static final boolean ANALYSIS_SERVER_NEW_TASK_MODEL = isOptionTrue("experimental/analysisServer/newTaskModel");
|
| +
|
| // http diagnostic port
|
| public static final String ANALYSIS_SERVER_HTTP_PORT_PREF = "analysisServerHttpPort";
|
| public static final String ANALYSIS_SERVER_HTTP_PORT = getOptionOrPrefValue(
|
|
|