Skip to content

Add task filter #5

Description

@pierrewillenbrockdfki

The vizkit rock-display has a task filter edit box. Add it here as well.

This is part of an effort to gain feature parity with vizkit rock-display.

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions