| 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 85019a5b88762753631d337e4a9e391e715d0d7f..d6fc29db4b1b7880bd0feb70f7d04406b8783533 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
|
| @@ -515,6 +515,11 @@ public class DartCore extends Plugin implements DartSdkListener {
|
| additionalArguments,
|
| "--enable-incremental-resolution");
|
| }
|
| + if (DartCoreDebug.ANALYSIS_SERVER_INCREMENTAL_RESOLUTION_API) {
|
| + additionalArguments = ArrayUtils.add(
|
| + additionalArguments,
|
| + "--enable-incremental-resolution-api");
|
| + }
|
| {
|
| String log = DartCoreDebug.ANALYSIS_SERVER_INCREMENTAL_RESOLUTION_LOG;
|
| if (log != null) {
|
|
|