| Summary: | Status of mark occurrences and outline sort not stored when Eclipse is restarted | ||
|---|---|---|---|
| Product: | [Modeling] TMF | Reporter: | Hendrik Eeckhaut <hendrik> |
| Component: | Xtext | Assignee: | Project Inbox <tmf.xtext-inbox> |
| Status: | CLOSED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | sebastian.zarnekow |
| Version: | unspecified | Flags: | sebastian.zarnekow:
indigo+
|
| Target Milestone: | SR1 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Whiteboard: | |||
|
Description
Hendrik Eeckhaut
Which Xtext version do you use? There were some fixes for Xtext 2.0 RC3. I tested this with org.eclipse.xtext.ui (2.0.0.v201106060900); not sure which RC this is. The changes were made before 20110606 so there are still issues with the preference handling. Pushed to master. It turned out that nobody invoked #save on the preferences. Closing all bugs that were set to RESOLVED before Neon.0 Closing all bugs that were set to RESOLVED before Neon.0 |