Eclipse Community Forums: Sphinx » Reload from external change when there are local changes

Help

Home

Home » Modeling » Sphinx » Reload from external change when there are local changes

Show: Today's Messages :: Show Polls :: Message Navigator

Reload from external change when there are local changes [message #1858459]

Tue, 04 April 2023 08:12

Pierre Dufay

Messages: 1
Registered: April 2023

Junior Member

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

Attachment: CaptureSphinx.PNG
(Size: 11.47KB, Downloaded 82 times)

Report message to a moderator

Re: Reload from external change when there are local changes [message #1858601 is a reply to message #1858459]

Tue, 11 April 2023 06:28

Balazs Grill

Messages: 2
Registered: June 2022

Junior Member

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

Report message to a moderator

Previous Topic:

Unable to load class ExtendedCommonNavigator, cannot exit Eclipse

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Mon Dec 02 15:10:25 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter