| Index: editor/tools/plugins/com.google.dart.tools.deploy/themes/monokai.xml
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.deploy/themes/monokai.xml b/editor/tools/plugins/com.google.dart.tools.deploy/themes/monokai.xml
|
| index 8270cc187689483c40a8afd702161b773442e991..9a91d588e0b125c58efd73557d5169ec9faf44d0 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.deploy/themes/monokai.xml
|
| +++ b/editor/tools/plugins/com.google.dart.tools.deploy/themes/monokai.xml
|
| @@ -20,6 +20,7 @@
|
| <findScope color="#000000" />
|
| <foreground color="#F8F8F2" />
|
| <function color="#FFFFFF" />
|
| + <functionTypeAlias color="#FFFFFF" />
|
| <getter color="#E8E2B7" />
|
| <importPrefix color="#F8F8F2" />
|
| <inheritedMethod color="#BED6FF" />
|
|
|