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
Align Extension manager buttonbar right #14205
Align Extension manager buttonbar right #14205
Conversation
Thanks for making a pull request to jupyterlab! |
bot please update snapshots |
Benchmark reportThe execution time (in milliseconds) are grouped by test file, test type and browser. The mean relative comparison is computed with 95% confidence. Results table
Changes are computed with expected as reference.
Waiting for localhost:8888 Cell memory leaksCreate a code cellMemory change: +152 kB Leak detected: YesLeaking objects:
Leaking collections: Create a markdown cellMemory change: -238 kB Leak detected: NoLeaking objects:
Leaking collections: Create a raw cellMemory change: +143 kB Leak detected: YesLeaking objects:
Leaking collections:
File editor memory leaksCreate a fileMemory change: -76.8 kB Leak detected: NoLeaking objects:
Notebook memory leaksCreate a notebookMemory change: +26.5 kB Leak detected: YesLeaking objects:
2 passing (7m)
|
Galata snapshots updated. |
3da706e
to
fd56b0f
Compare
Kicking CI |
👍 There is a conflict in |
c42ce40
to
d892688
Compare
Kicking CI |
Currently Linux Tests / check_links (pull_request) fails because there is a dead link in |
d892688
to
da8af78
Compare
da8af78
to
8e6fe18
Compare
@krassowski it's all green now. Could you please give it a look and merge if possible? Thank you |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you!
We may decide to rework the placement of buttons with a more encompassing review of extension manager UX in the future but for now I believe this is an improvement for the design that we currently have.
Thank you @krassowski |
References
Code changes
Justifies Extension Manager buttonbar to flex-end so that buttons are right-aligned.
User-facing changes
Extension Manager buttonbar is right-aligned
Before:
After:
Backwards-incompatible changes
None