At some point recently (I think when pretext-tools hit 1.0?) the colour used to highlight schema errors changed from red to yellow.
This would be fine, except that it's exactly the same colour used by the Git extension to indicate which files have been modified:
A tab could be yellow because the file was modified, or because there is content that doesn't match the schema.
Would it be possible to return to red, or change to something else?
At some point recently (I think when pretext-tools hit 1.0?) the colour used to highlight schema errors changed from red to yellow.
This would be fine, except that it's exactly the same colour used by the Git extension to indicate which files have been modified:
A tab could be yellow because the file was modified, or because there is content that doesn't match the schema.
Would it be possible to return to red, or change to something else?