statecharts
statecharts copied to clipboard
Fixme and Todo info marker get lost by using pinned editor
Use //FIXME or //TODO in the definition section.
The info marker gets lost by changing to the pinned editor.
The Decorator is missing in the annotation border