|
|
|
|
|
|
by opello
480 days ago
|
|
|
I also use that color.diff.whitespace "red reverse" and along with it diff.wsErrorHighlight all. I recall needing to set both in the past but in trying to find out why that might have been superseded by only needing the latter. I'm not quite sure. |
|
|