Error display properties should be separated

[balthisar]

Just food for thought. Perhaps we should should have separate properties in the API for separately turning on and off error displays:

• in the gutter
• highlighting in the document
• individual error highlighting

Maybe a master switch to turn all error displays on/off.

[shysaur]

I'm not sure how useful this would be. You know of a use case for this?

[balthisar]

Perhaps the user would like to see the icons in the gutter without being distracted by the background highlighting in his document while trying to make the fix.