ROI editor: activate ROI selection tool by default, so that the user can select right away the area to be used as a ROI #154

Closed

Closed

ROI editor: activate ROI selection tool by default, so that the user can select right away the area to be used as a ROI#154

Labels

Milestone

No description provided.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

V0.20

Relationships

None yet

Development

No branches or pull requests