| Summary: | [Editor] Editor does not revalidate after resource change | ||
|---|---|---|---|
| Product: | [Modeling] TMF | Reporter: | Sebastian Zarnekow <sebastian.zarnekow> |
| Component: | Xtext | Assignee: | Project Inbox <tmf.xtext-inbox> |
| Status: | CLOSED NOT_ECLIPSE | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | stephane |
| Version: | 1.0.0 | Flags: | sebastian.zarnekow:
helios+
|
| Target Milestone: | SR1 | ||
| Hardware: | PC | ||
| OS: | Mac OS X - Carbon (unsup.) | ||
| Whiteboard: | |||
|
Description
Sebastian Zarnekow
As the markers are up to date after the builder created them, I guess Xtext does nothing fundamentally wrong. Clients with this special use case should extend the XtextDocumentProvider and register a Preference-listener that triggers the validation after the settings have been changed. Alternatively, validation should be triggered by means of IResource#touch through the builder infrastructure instead of custom marker creation. Closed as won't fix. Closing bug which were set to RESOLVED before Eclipse Neon.0. |