I’ve noticed something strange between
When I set a lint error that matches the widget’s range exactly, the widget will not be wrapped by
And when I adjust the error range to contain the widget, it is wrapped correctly. So I can see the underline of this error.
How could I mark this single widget as an error ?
This falls out of the way decorations work. A non-inclusive mark decoration that is entirely covered by a replace decorations will be considered inside it, and not style the replacement widget.
This patch makes lint decorations inclusive, to avoid the issue in this specific situation.
Ok, I got it.
I’ve testd out your patch version, and when those
decorations are both inclusive, it works fine.