Skip to content
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.

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

Improve the Top Area as an extension point #11589

Closed
jtpio opened this issue Nov 30, 2021 · 0 comments · Fixed by #11654
Closed

Improve the Top Area as an extension point #11589

jtpio opened this issue Nov 30, 2021 · 0 comments · Fixed by #11654
Milestone

Comments

@jtpio
Copy link
Member

jtpio commented Nov 30, 2021

Problem

In #11443 we add a spacer to the top area to align items to the top right corner of the page.

Some extensions already add a spacer to the top bar to align the items to the right. Which means there could be multiple spacers if the user menu and the other extensions are activated on the page.

It might be fine for now, but maybe we should check how to make the top area more well defined so extensions can more easily add items there without stepping on each others toes.

Proposed Solution

We could just add that spacer independently of these plugins, by default in JupyterLab, and document using a rank < 900 to place items to the left, and rank > 900 to place them to the right.

Another approach would be to make the space to the right of the menu in the top bar a Toolbar like extension point. Which is what jupyterlab-topbar started experimented with.

image

Additional context

Discussed in #11443

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant