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
Customize layout from settings #11614
Customize layout from settings #11614
Conversation
Thanks for making a pull request to jupyterlab! |
cc @jtpio @ellisonbg @bollwyvl here is a proposition to get widget layout customization. I think we could use such approach in RetroLab too to overcome supporting extension panel positionning in it. For example, in retrolab we could allow three state for sidebar: For now the key looked for in the settings is either the factory name or the widget id (for singleton panel). If I propagate the use of the new generic |
fascinating, will take a look! |
One thought on this: at the end of it, I would hope there wouldn't be much "special" stuff that was not introspectable from outside that couldn't be resolved until there was a JS interpreter and hot DOM. By that I mean: instead of the magic string A less-discoverable language we already have is lumino commands. This is also, semi-accidentally, surfaced by the workspace. It suffers, however, from the commands not being registered by a controlled namespace. I imagine the final form of this at some point in the future being an abstract data shell that is a mapping of (the possibility of a) components to a set of regions, with a descriptive-enough language that it would be straightforward to build a visual tool that could discover, configure, and re-combine all available screen elements into:
...where any of them could include self-modifying tools, such as a command palette (with the now-hidden group metadata restored, and expanded). Practically, I imagine this would change also cc @ajbozarth... this isn't exactly the launcher issue (never made the issue, sorry), but it's a related concern, as launchers would probably have to be aware of this kind of system. |
5bc4887
to
c747007
Compare
7dedd15
to
91e3903
Compare
930e5b2
to
6cfd67e
Compare
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.
Thanks @fcollonval, minor suggestions on the doc then it looks great to me!
Co-authored-by: Duc Trung LE <leductrungxf@gmail.com>
Thanks @trungleduc for the review |
Nice this is looking good 👍 Just tested on Binder and it looks like the terminal is still opened in main area when created from the launcher: terminal-open-right.mp4 |
Good catch @jtpio - I updated the launcher card click callback to only move the widget (and close the launcher) if the widget is added to the main area. |
Nice thanks! Apart from that it's looking good. I think we can get this in so it can be released in the next 4.0 pre-release and tested in Notebook v7. |
Check again on Binder and looking good: terminal-open-right-launcher.mp4 |
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.
Thanks!
Thanks for the reviews |
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. |
References
Fix #8960
Code changes
User-facing changes
Backwards-incompatible changes