| 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 bf6aef93a82842eb3b614597795beff5a65f75b7..7c1c2ff550b92090894fec39f1f18298d73de9b6 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
|
| @@ -87,6 +87,7 @@ public class DartCoreDebug {
|
| public static final boolean ANALYSIS_SERVER_DEBUG = isOptionTrue("experimental/analysisServer/debug");
|
|
|
| public static final boolean ANALYSIS_SERVER_INCREMENTAL_RESOLUTION = isOptionTrue("experimental/analysisServer/incrementalResolution");
|
| + public static final String ANALYSIS_SERVER_INCREMENTAL_RESOLUTION_LOG = getOptionValue("experimental/analysisServer/incrementalResolutionLog");
|
|
|
| public static final String ANALYSIS_SERVER_HTTP_PORT_PREF = "analysisServerHttpPort";
|
| public static final String ANALYSIS_SERVER_HTTP_PORT = getOptionOrPrefValue(
|
|
|