Closed techee closed 8 months ago
When there is an error and a warning reported e.g. for some identifier, both the error and the warning marker is displayed. We should just show a single marker and the error marker should take precedence over the warning marker.
Done.
When there is an error and a warning reported e.g. for some identifier, both the error and the warning marker is displayed. We should just show a single marker and the error marker should take precedence over the warning marker.