New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Put the ProjectChooserButton inside the sidebar #1217

Merged

jeremypw merged 1 commit into master from sidebar-projectchooser

Jan 10, 2023

Member

danirabbit commented Jan 8, 2023

Since we hide and show this with the project sidebar, put it in the sidebar


          Put the ProjectChooserButton inside the sidebar

247bda7

danirabbit mentioned this pull request

Make sidebar pane the toplevel container #1218

Merged

jeremypw approved these changes

View reviewed changes

Collaborator

jeremypw left a comment

Not too sure about the start and end margins but that is not blocking.

jeremypw merged commit d7e592f into master

jeremypw deleted the sidebar-projectchooser branch

January 10, 2023 15:56

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment