Skip to main content



      Home
Home » Modeling » Sphinx » Reload from external change when there are local changes
Reload from external change when there are local changes [message #1858459] Tue, 04 April 2023 04:12 Go to next message
Eclipse UserFriend
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
Re: Reload from external change when there are local changes [message #1858601 is a reply to message #1858459] Tue, 11 April 2023 02:28 Go to previous message
Eclipse UserFriend
Hi Pierre!

I agree that this would be a useful feature. It might prove to be somewhat more complicated than for other eclipse editors, since the life cycle of the sphinx in-memory model differs.

I opened a ticket for this feature request: https://bugs.eclipse.org/bugs/show_bug.cgi?id=581800

Best Regards,
Balázs
Previous Topic: Unable to load class ExtendedCommonNavigator, cannot exit Eclipse
Goto Forum:
  


Current Time: Sun Jul 13 13:13:14 EDT 2025

Powered by FUDForum. Page generated in 0.03194 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top