UML-B notes for 0.4.4
From Event-B
Jump to navigationJump to search
State-machine properties are not saved
Problem - On Statemachine diagrams, some properties fields cannot be saved. When the focus is moved elsewhere the changes to these fields are lost.
Workaround 1 - Move an element of the diagram slightly before making the edits to the property fields. This makes the Statemachine editor 'dirty' so that the save button is enabled. You can then press save after editing the properties fields.
Workaround 2 - You can edit the properties of a transition from the class diagram by clicking on the transition name inside the statemachine figure. (This dosen't work for nested statemachines because they do not appear on the class diagram).
Fixed - This problem has been fixed in version 0.5.x.
