statecharts icon indicating copy to clipboard operation
statecharts copied to clipboard

Fixme and Todo info marker get lost by using pinned editor

Open rherrmannr opened this issue 6 years ago • 1 comments

Use //FIXME or //TODO in the definition section.

The info marker gets lost by changing to the pinned editor.

rherrmannr avatar Sep 17 '18 12:09 rherrmannr

The Decorator is missing in the annotation border

andreasmuelder avatar Sep 18 '18 09:09 andreasmuelder