Community
Participate
Working Groups
Build Identifier: M20100211-1343 It seems that sometimes error/warning markers are not serialized. This happens happens when a clean model is opened, then validated and closed without saving. The validation results in markers appearing in the model. Closing the editor does not update the state on the file icon. Reproducible: Always Steps to Reproduce: 1. open a concrete model instance having no error/warning markers 2. validate the model using the context menu action "Validate" -- markers should now appear in the test model because *expensive* checks were conducted 3. close the editor *without saving* 4. verify that there is no marker on the file icon 5. open the model/editor and verify that markers were not preserved after the previous validation
Markers are only created during the builder run. If you just open a model, what you see are Annotations which are not persisted. So if I got you right this is intended behavior. However, I wonder why the builder didn't mark the model.
Naturally I would have expected the markers resulting from expensive checks to be persisted.
Yes, of course. I overlooked that you are triggering the 'expensive' checks.
org.eclipse.xtext.ui.editor.handler.ValidateActionHandler uses an org.eclipse.xtext.ui.editor.validation.AnnotationIssueProcessor instead of org.eclipse.xtext.ui.editor.validation.MarkerIssueProcessor
Created attachment 170105 [details] proposed patch
fixed in HEAD
Closing bug which were set to RESOLVED before Eclipse Neon.0.