| 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 35271c36ae1996f9a8a60111a0a62e0ac4cca8d4..d5587cce50816999337be7c7a51e739525b42fa0 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/.options
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/.options
|
| @@ -41,6 +41,7 @@ com.google.dart.tools.core/experimental/analysisServer = false
|
| 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/incrementalResolution = false
|
| +com.google.dart.tools.core/experimental/analysisServer/incrementalResolutionLog =
|
| 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
|
|
|