|
|
|
Re: Remove warning/error marker [message #1776932 is a reply to message #1776927] |
Wed, 22 November 2017 21:10  |
|
so you ae not talking about markers but about annotations?
and how do you execute expensive validation?
for me this could be a bug .
org.eclipse.xtext.ui.editor.validation.MarkerIssueProcessor.processIssues(List<Issue>, IProgressMonitor)
seems to add stuff only but not remove existing ones.
can you please create a ticket at github.com/eclipse/xtext-eclipse
org.eclipse.xtext.ui.editor.validation.AddMarkersOperation.execute(IProgressMonitor) deletes the markers.
org.eclipse.ui.texteditor.ResourceMarkerAnnotationModel.batchedUpdate(IMarkerDelta[])
treats thst in the editor.
but thats marker annotations only.
this leaves the xtext annotations unattended
these are handle by org.eclipse.xtext.ui.editor.validation.AnnotationIssueProcessor.
imho the validationjob should use a hybrid of AnnotationIssueProcessor and MarkerIssueProcessor (in ValidateActionHandler)
maybe you can do some digging yourself
Need professional support for Xtext, Xpand, EMF?
Go to: https://www.itemis.com/en/it-services/methods-and-tools/xtext
Twitter : @chrdietrich
Blog : https://www.dietrich-it.de
|
|
|
Powered by
FUDForum. Page generated in 0.02023 seconds