Closed juangpc closed 1 year ago
Same as #931, hardly a fix nor an enhancement. But it does help focus because they are highlighted as problems in (some (good)) editors.
Same as #931, hardly a fix nor an enhancement. But it does help focus because they are highlighted as problems in (some (good)) editors.