| 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 58c1e135714a8ddd3416b5183cd4fad4ca5c8721..f5842893a165e5076efdbffd4d96e58e9585027e 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/.options
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/.options
|
| @@ -20,7 +20,6 @@ com.google.dart.tools.core/perf/analysis/filescan = false
|
|
|
| com.google.dart.tools.core/experimental/altKeyBindings = false
|
| com.google.dart.tools.core/experimental/update = false
|
| -com.google.dart.tools.core/experimental/hideShadowWarnings = false
|
| com.google.dart.tools.core/experimental/testsView = false
|
|
|
| com.google.dart.tools.core/trace/artifactProvider = false
|
|
|