I take this over since it seems to be more appropriate for me.
However, I tried this with the CVS version of the tool and could not reproduce the problem that you have described. Could you please give me more details on this.
Cheers,
Son
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
The problem is that the current selection might not corresponding to the actual selected elements in the UI. Especially when the selection is set from the outside (e.g. Event-B Editor). Now the UI component needs to confirm if an element is actually selected (or de-selected) from the UI or not.
This has been committed to the CVS.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hi Nicolas,
I take this over since it seems to be more appropriate for me.
However, I tried this with the CVS version of the tool and could not reproduce the problem that you have described. Could you please give me more details on this.
Cheers,
Son
Son,
just perform the following steps exactly:
1. create a new project.
2. create a new machine in this project.
3. an editor is opened on this machine.
4. expand the theorem section.
5. click on the up-arrow.
then an "Unhandled event loop exception" is entered in the log file of the Rodin platform.
Please let me know if you can fix this. Otherwise, I'll give it to somebody at Systerel.
I see the problem now. I am looking at it right now.
Cheers,
Son
The problem is that the current selection might not corresponding to the actual selected elements in the UI. Especially when the selection is set from the outside (e.g. Event-B Editor). Now the UI component needs to confirm if an element is actually selected (or de-selected) from the UI or not.
This has been committed to the CVS.