Saving a machine after having edited an event sometimes results in the events being folded, which is not very user friendly (you to reopen all the sub-trees on which you were previously working to continue your work)
In fact, it happens even without saving. for example, when renaming an event with a long name, it looks like the editor is refreshes in the middle of typing, and the event is folded again.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
In fact, it happens even without saving. for example, when renaming an event with a long name, it looks like the editor is refreshes in the middle of typing, and the event is folded again.
Fixed and commited to CVS
It still does happen when there are errors in the event (I save, and the event becomes folded).
I cannot reproduce this problem with Rodin 1.0RC1 on Linux