Hook up workspace bar #7

Open

Labels

Milestone

opened

on May 11, 2023

Enable switching between workspaces via the workspace bar.

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

0.3.1No due date

Relationships

None yet

Development

No branches or pull requests