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" /> |