| Index: editor/tools/plugins/com.google.dart.tools.deploy/themes/havenjark.xml
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.deploy/themes/havenjark.xml b/editor/tools/plugins/com.google.dart.tools.deploy/themes/havenjark.xml
|
| index fc8b36600441f70fccc0d6e0601c20797cb328ea..9b3b36bea6e39a3f7b7d6b17fd40e324a940e091 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.deploy/themes/havenjark.xml
|
| +++ b/editor/tools/plugins/com.google.dart.tools.deploy/themes/havenjark.xml
|
| @@ -20,6 +20,7 @@
|
| <findScope color="#B9A185" />
|
| <foreground color="#C0B6A8" />
|
| <function color="#DFBE95" />
|
| + <functionTypeAlias color="#B8ADA0" />
|
| <getter color="#E8E2B7" />
|
| <importPrefix color="#C0B6A8" />
|
| <inheritedMethod color="#C0B6A8" />
|
|
|