Index: editor/tools/plugins/com.google.dart.tools.deploy/themes/vibrantink.xml |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.deploy/themes/vibrantink.xml (revision 24253) |
+++ editor/tools/plugins/com.google.dart.tools.deploy/themes/vibrantink.xml (working copy) |
@@ -3,12 +3,14 @@ |
<abstractMethod color="#F1C436" /> |
<background color="#191919" /> |
<bracket color="#FFFFFF" /> |
+ <builtin color="#AAAAAA" /> |
<class color="#9CF828" /> |
<commentTaskTag color="#800080" /> |
<constructor color="#9CF828" /> |
<currentLine color="#222220" /> |
<deletionIndication color="#FF0000" /> |
<deprecatedMember color="#FFFFFF" /> |
+ <directive color="#A05080" bold="true" /> |
<dynamicType color="#3C758D" /> |
<enum color="#408000" /> |
<field color="#357A8F" /> |