| 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 b77a1ae9fa98800c4743ebbac22d9b17eb02f2b7..d92dd5d1dd56e261ee35c7eb04e2ea7cf6e73ae4 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
|
| @@ -556,6 +556,9 @@ public class DartCore extends Plugin implements DartSdkListener {
|
| additionalArguments,
|
| "--enable-incremental-resolution-api");
|
| }
|
| + if (DartCoreDebug.ANALYSIS_SERVER_NEW_TASK_MODEL) {
|
| + additionalArguments = ArrayUtils.add(additionalArguments, "--enable-new-task-model");
|
| + }
|
| {
|
| String log = DartCoreDebug.ANALYSIS_SERVER_INCREMENTAL_RESOLUTION_LOG;
|
| if (!StringUtils.isEmpty(log)) {
|
|
|