Index: editor/tools/plugins/com.google.dart.tools.deploy/themes/havenjark.xml |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.deploy/themes/havenjark.xml (revision 24253) |
+++ editor/tools/plugins/com.google.dart.tools.deploy/themes/havenjark.xml (working copy) |
@@ -35,7 +35,7 @@ |
<operator color="#F0EFD0" /> |
<parameterVariable color="#A19A83" /> |
<searchResultIndication color="#464467" /> |
- <selectionBackground color="#2A4750" /> |
+ <selectionBackground color="#2F4B55" /> |
<selectionForeground color="#C0B6A8" /> |
<singleLineComment color="#AEAEAE" /> |
<sourceHoverBackground color="#A19879" /> |