Skip to content
This repository was archived by the owner on Jan 5, 2021. It is now read-only.
This repository was archived by the owner on Jan 5, 2021. It is now read-only.

Fixme and Todo info marker get lost by using pinned editor #2254

Open
Open
Fixme and Todo info marker get lost by using pinned editor#2254
Labels
Comp-Graphical EditorPrio-Lowis-Bug
Milestone
 
Archived
@rherrmannr

Description

@rherrmannr
rherrmannr
opened on Sep 17, 2018

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

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    Comp-Graphical EditorPrio-Lowis-Bug

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions