Extend editor-feedback.json format to have an optional type property with values: Marker (default if not provided) and Decoration.
When using Decoration, you need to provide a className (one of background-blue, background-red, background-green or background-yellow)

Feedback items 4 to 6 in this example use the new Decoration type:

[
    {
      "file": "SOLUTION",
      "severity": "Error",
      "message": "Not correctly configured! Solution not run.",
      "startLineNumber": 1,
      "endLineNumber": 1
    },
    {
      "file": "TEST",
      "severity": "Error",
      "message": "Not correctly configured! Tests not run.",
      "startLineNumber": 1,
      "endLineNumber": 1
    },
    {
      "type": "Marker",
      "file": "LIBRARY",
      "severity": "Error",
      "message": "Not correctly configured! Library not run.",
      "startLineNumber": 1,
      "endLineNumber": 1
    },
    {
      "type": "Decoration",
      "file": "SOLUTION",
      "className": "background-red",
      "message": "Red highlight",
      "startLineNumber": 2,
      "endLineNumber": 2
    },
    {
      "type": "Decoration",
      "file": "TEST",
      "className": "background-yellow",
      "message": "Yellow highlight",
      "startLineNumber": 2,
      "endLineNumber": 2
    },
    {
      "type": "Decoration",
      "file": "LIBRARY",
      "className": "background-blue",
      "message": "Blue highlight",
      "startLineNumber": 2,
      "endLineNumber": 2
    }
]

Submitted by Elmer van Chastelet on 12 May 2023 at 13:31