Index: editor/tools/plugins/com.google.dart.tools.deploy/themes/mr.xml |
diff --git a/editor/tools/plugins/com.google.dart.tools.deploy/themes/mr.xml b/editor/tools/plugins/com.google.dart.tools.deploy/themes/mr.xml |
index 449787359b7cb99c089ce8c911094bc560dd2e9a..21bceb3e6dbd80e4320157bfced0683432b4453a 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.deploy/themes/mr.xml |
+++ b/editor/tools/plugins/com.google.dart.tools.deploy/themes/mr.xml |
@@ -15,6 +15,7 @@ |
<filteredSearchResultIndication color="#D8D8D8" /> |
<foreground color="#333333" /> |
<function color="#000099" /> |
+ <functionTypeAlias color="#006600" /> |
<importPrefix color="#333333" /> |
<inheritedMethod color="#000099" /> |
<interface color="#666666" /> |