Index: editor/tools/plugins/com.google.dart.tools.deploy/themes/roboticket.xml |
diff --git a/editor/tools/plugins/com.google.dart.tools.deploy/themes/roboticket.xml b/editor/tools/plugins/com.google.dart.tools.deploy/themes/roboticket.xml |
index f1ae5b3056dbcaafc1caa4c23cad896a32d0d378..1e960bb9055c9a516c5a055b4b5ab735f6a1be69 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.deploy/themes/roboticket.xml |
+++ b/editor/tools/plugins/com.google.dart.tools.deploy/themes/roboticket.xml |
@@ -17,6 +17,7 @@ |
<findScope color="#BDD8F2" /> |
<foreground color="#585858" /> |
<function color="#BC5A65" bold="true" /> |
+ <functionTypeAlias color="#AB2525" /> |
<importPrefix color="#585858" /> |
<inheritedMethod color="#2C577C" /> |
<interface color="#9B5656" /> |