| Index: editor/tools/plugins/com.google.dart.tools.core/.options
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/.options b/editor/tools/plugins/com.google.dart.tools.core/.options
|
| index 89ff6f2e1a0b3fb6084215ed0088aed113924ed2..075a0c633df46905c2fba5bd2bdf268b0f9d7215 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/.options
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/.options
|
| @@ -42,6 +42,7 @@ com.google.dart.tools.core/experimental/analysisServer/debug = false
|
| com.google.dart.tools.core/experimental/analysisServer/http_port =
|
| com.google.dart.tools.core/experimental/analysisServer/incrementalResolutionApi = false
|
| com.google.dart.tools.core/experimental/analysisServer/incrementalResolutionLog =
|
| +com.google.dart.tools.core/experimental/analysisServer/incrementalResolutionValidation = false
|
| com.google.dart.tools.core/experimental/analysisServer/logFile =
|
| com.google.dart.tools.core/experimental/analysisServer/printToConsole = false
|
| com.google.dart.tools.core/experimental/analysisServer/profile = false
|
|
|