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