-
Notifications
You must be signed in to change notification settings - Fork 321
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Xtend editor trashes local history #3184
Comments
Can you give more context? |
There are more details about the specific versions in the linked issue but the gist of it is: In a workspace with local history limit disabled and no other local history settings changed, after a workspace migration (eclipse updated to the next release version via eclipse setup/oomph). |
And other files like txt or xml ? |
txt and xml are affected. Java remains immune. |
I assume this is cause the editors have a different way how they use documents / editor base classes TextFileDocumentProvider vs FileDocumentProvider |
I tried editing using the "Generic Text Editor" on all the files and that didn't break |
Is it possible that Xtend editor is doing something to trash my local history? Based on nobody else experiencing the linked issue, I wonder if it's somehow Xtend-specific.
The text was updated successfully, but these errors were encountered: