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 9d0c8a1273521c785f97dec54ac1963fcb9bbb0e..0cc7fc1130fe0ca4e4b5dc6e4e18ecafe33a79e5 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.core/.options |
+++ b/editor/tools/plugins/com.google.dart.tools.core/.options |
@@ -40,6 +40,7 @@ com.google.dart.tools.core/experimental/coverage = false |
com.google.dart.tools.core/experimental/analysisServer = false |
com.google.dart.tools.core/experimental/analysisServer/debug = false |
com.google.dart.tools.core/experimental/analysisServer/logFile = |
+com.google.dart.tools.core/experimental/analysisServer/profile = false |
com.google.dart.tools.core/experimental/noPubPackages = false |
com.google.dart.tools.core/experimental/enableUnionTypes = false |
com.google.dart.tools.core/experimental/strictUnionTypes = false |