| commit | 9cd9315faef8d16a1bcd5296f2e4209312f4e0d9 | [log] [tgz] |
|---|---|---|
| author | Nitin Dahyabhai <nitind@pobox.com> | Wed Mar 28 16:41:30 2018 -0400 |
| committer | Nitin Dahyabhai <nitind@pobox.com> | Wed Mar 28 16:43:11 2018 -0400 |
| tree | 01f396b964d02e3c585e60b102391dce69fb0cec | |
| parent | ba82cecfdacf739cf3b1db29773cd0267dd69c7d [diff] |
[532837] [Dark Theme] Use darker color for tag delimiters Change the delimiters to a flat grey, and adopt the JDT dark string value for our attribute values.