[dagit] Use RepoNavItem
Start using the multi-repo filter nav item in the Dagit left nav, including the RepoSelector popover.
- If the user has localStorage settings for which repos to show, show all matching repos loaded in the workspace.
- If there are no matches: if only one repo is loaded, show it. If multiple repos are loaded, show the first one in the list.
When a single repo is selected, show its name and a reload button. When multiple repos are selected, show "X of Y shown".
This diff also connects the reload buttons in the RepoSelector, and closes the popover when the user clicks to browse a given repo.
Load an empty workspace. Verify that the empty state looks correct.
Load a workspace with a single repo. Verify that it shows the name of the repo, and that the reload button works as expected.
Load a workspace with multiple repos. Verify that the localStorage behavior works as described above. Add and remove repos for filtering, verify that the pipelines, solids, schedules, and sensors load properly, and that the "X in Y shown" display looks correct.
Reload repos from the popover, and browse to repos. Verify behavior for each.
Reviewers: bengotow, sandyryza, prha, sashank
Reviewed By: bengotow
Differential Revision: https://dagster.phacility.com/D6973