#740 Event Wizard Add Button Fields Disappear

[Michael Leuschel]

After one presses the "Add" button in the Event wizard the dialog is empty, except for the buttons (all fields and labels have disappeared for entering the next event).
This happens on Mac OS X Yosemite with Rodin 3.1 and using the wizard from the structure editor.

[Laurent Voisin]

I confirm the presence of this bug. Thank you very much for taking the time to report it.

Here is the attached stack trace:

    java.lang.IllegalArgumentException: Argument not valid
    at org.eclipse.swt.SWT.error(SWT.java:4422)
    at org.eclipse.swt.SWT.error(SWT.java:4356)
    at org.eclipse.swt.SWT.error(SWT.java:4327)
    at org.eclipse.swt.widgets.Widget.error(Widget.java:783)
    at org.eclipse.swt.widgets.Control.moveAbove(Control.java:2634)
    at org.eventb.internal.ui.eventbeditor.dialogs.NewEventDialog.moveAbove(NewEventDialog.java:162)
    at org.eventb.internal.ui.eventbeditor.dialogs.NewEventDialog.createGuard(NewEventDialog.java:348)
    at org.eventb.internal.ui.eventbeditor.dialogs.NewEventDialog.createDialogContents(NewEventDialog.java:242)
    at org.eventb.internal.ui.eventbeditor.dialogs.NewEventDialog.initialise(NewEventDialog.java:363)
    at org.eventb.internal.ui.eventbeditor.dialogs.NewEventDialog.buttonPressed(NewEventDialog.java:311)

[Thomas Muller]

Fixed in commit [1d4fbf]. Correction will be available in Rodin 3.2.