don't set marker.LOCATION at all

LorenzoBettini · LorenzoBettini · commit b3d8e0a697c3 · 2024-01-12T15:37:50.000+01:00
diff --git a/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/validation/MarkerCreator.java b/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/validation/MarkerCreator.java
@@ -44,8 +44,6 @@ protected void setMarkerAttributes(Issue issue, IResource resource, IMarker mark
 
 		if (issue.getLineNumber() != null) {
 			attributes.put(IMarker.LINE_NUMBER, issue.getLineNumber());
-		} else {
-			attributes.put(IMarker.LOCATION, resource.getFullPath().toString());
 		}
 		attributes.put(Issue.CODE_KEY, issue.getCode());		
 		attributes.put(IMarker.SEVERITY, getSeverity(issue));

Original file line number	Diff line number	Diff line change
`@@ -44,8 +44,6 @@ protected void setMarkerAttributes(Issue issue, IResource resource, IMarker mark`
`44`	`44`
`45`	`45`	`if (issue.getLineNumber() != null) {`
`46`	`46`	`attributes.put(IMarker.LINE_NUMBER, issue.getLineNumber());`
`47`		`- } else {`
`48`		`- attributes.put(IMarker.LOCATION, resource.getFullPath().toString());`
`49`	`47`	`}`
`50`	`48`	`attributes.put(Issue.CODE_KEY, issue.getCode());`
`51`	`49`	`attributes.put(IMarker.SEVERITY, getSeverity(issue));`