Skip to content

Allow entering group names into search boxes #6397

Description

@roed314

At the moment, most search boxes for abstract groups require that you enter the label of a group. It would be helpful to allow names of groups when they uniquely specify the group (e.g. C2^3).

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions