Index: editor/tools/plugins/com.google.dart.tools.deploy/themes/frontenddev.xml |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.deploy/themes/frontenddev.xml (revision 24253) |
+++ editor/tools/plugins/com.google.dart.tools.deploy/themes/frontenddev.xml (working copy) |
@@ -33,7 +33,7 @@ |
<occurrenceIndication color="#616161" /> |
<operator color="#FFFFFF" /> |
<parameterVariable color="#069609" /> |
- <selectionBackground color="#333333" /> |
+ <selectionBackground color="#555555" /> |
<selectionForeground color="#333333" /> |
<singleLineComment color="#666666" /> |
<staticField color="#FFFFFF" /> |