v0.13.2
Bugfixes
- When creating new types in the type manager, the name
was not correctly copied. - Shape size did not apply to icons.
- Modified date was reset everytime a type was opened
in the type manager
Refactorings
- Refactored MapElements (EdgeType, NoteType)