| 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 885e6c21edfe571ccb4ad6942c09119e04f131ce..11528b3b89c7422ad5ce16c952a73eba083d9ea1 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/.options
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/.options
|
| @@ -15,9 +15,9 @@ com.google.dart.tools.core/debug/verbose = false
|
| com.google.dart.tools.core/logging/debugger = false
|
|
|
| com.google.dart.tools.core/experimental/altKeyBindings = false
|
| -com.google.dart.tools.core/experimental/update = false
|
| com.google.dart.tools.core/experimental/testsView = false
|
| com.google.dart.tools.core/experimental/formatter = false
|
| +com.google.dart.tools.core/experimental/themes = false
|
| com.google.dart.tools.core/experimental/pub = false
|
|
|
| com.google.dart.tools.core/dev/disableMarkOccurrences=false
|
| @@ -29,5 +29,6 @@ com.google.dart.tools.core/trace/index/statistics = false
|
|
|
| com.google.dart.tools.core/trace/update = false
|
|
|
| +com.google.dart.tools.core/perf/timer = false
|
| com.google.dart.tools.core/perf/index = false
|
| com.google.dart.tools.core/perf/osResources = false
|
|
|