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