Community
Participate
Working Groups
Build Identifier: M20110210-1200 If you enable 'Mark Occurrences', this setting is reset when Eclipse is restarted. The same is true for 'Sort' in the outline. It should be serialized Reproducible: Always Steps to Reproduce: 1. Start Eclipse (with e.g. Xtext domain model example) 2. Enable Mark Occurrences 3. Restart Eclipse 4. Mark Occurrences is disabled again
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