UML-B notes for 0.5.8
From Event-B
Using notes or text boxes on diagrams causes Rodin to crash
Problem - When more than one character is typed in a Note or Text box on a UML-B diagram Rodin exits due to a memory violation error. This appears to be a GMF problem because it also happens in other GMF diagram editors such as the EMF ecore diagram. The problem may be restricted to Mac computers.
Workaround - Do not use Notes or Text Boxes
