Check all workspace files in the background, not only the opened ones. Files with issues are then automatically marked.
Check all workspace files in the background, not only the opened ones. Files with issues are then automatically marked.