In my application I'm dealing with integration and syncronization
between different editors, and I run into a problem with the value of
Resource.isModified(). To see what was going on, I tried a similar
scenario but in a simple recently autogenerated editor.
The thing is that, when you open the diagram, you make no changes on it,
and you close it, the resource.isModified() = true. Why is that
happening? Isn't that parameter indicating when something is added in
the resource and not saved? I'm checking that attribute in the method
dispose() of the DocumentProvider.
Any help would be really appreciated. I need to implement some
functionality depending if at closing, the resource is modified and not
saved or it is saved and not dirty. Can I do that using that method?