The bug, on Mac (Mac OS X 10.5.1), happens when you open the tabs (under the main view) like Synthesis, Dependencies, Invariants, Theorems,etc on the Event-B perspective. After clicking twice on one of the items labels/identifiers (invariant, variable) and while trying to click on other label/identifier makes the platform crash. Attached I am sending to print screens of what happen and how it happen the crashes. I hope it helps to understand what really happens.
PS: I tried the same operation using Windows platform and does not happen the same.
Variable perspective opened and selected one identifier. After changing focus, the platform just crashes
Logged In: YES
user_id=1041912
Originator: NO
Yes, the SWT library on Mac OS X is much more fragile than on other platforms like Windows and Linux. Some similar bugs have already been fixed, but it seems there are still some left. Thank you for reporting this use case that triggers a crash.
Logged In: YES
user_id=1041912
Originator: NO
After some investigations, this appears to be caused by a bug in the Eclipse SWT code. The original bug is #208571:
http://bugs.eclipse.org/bugs/show_bug.cgi?id=208571
This bug has been fixed by the Eclipse committers and the fix is available in the 3.3.2 Stream Build.
I've created a new development environment with Eclipse-SDK M20080211-0925 and the bug has disappeared.
The fix will be available in the next Rodin release done after Eclipse 3.3.2 is out. In the meantime, you will have to either build the Rodin platform from CVS using an Eclipse 3.3.2 Stream Build, or use a different OS ;-)
Laurent.
Logged In: YES
user_id=1041912
Originator: NO
Follow-up: Eclipse 3.3.2 is scheduled for release ono February 18, so a new version of the platform fixing this bug will be available for the end of this month.