| Reload from external change when there are local changes [message #1858459] |
Tue, 04 April 2023 04:12  |
Eclipse User |
|
|
|
Hi,
Actually there is no mechanism that would allow developer to prevent resource reloading when a change has been done from 'outside'.
Use case is simple: user updated loaded model from resource, making it dirty. In parallel, file which contains serialized model is updated from external editor.
When this occurs, sphinx reloads file, without checking if there are changes in loaded model or not.
This behavior is hosted in a non UI plugin (org.eclipse.sphinx.emf.workspace). therefore it is not possible to ask user whether he wants to keep modifications done in loaded model or get outside updates.
It would be great to sphinx provides an anchor which would allow to ask end-user what he wants to do.
See in attachment default dialog box in eclipse for editors which support this feature
|
|
|
|
Powered by
FUDForum. Page generated in 0.03194 seconds
Home
