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.

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

Dockable layout #22

Open
nthiery opened this issue Nov 11, 2018 · 0 comments
Open

Dockable layout #22

nthiery opened this issue Nov 11, 2018 · 0 comments
Labels
enhancement New feature or request

Comments

@nthiery
Copy link
Contributor

nthiery commented Nov 11, 2018

Goal: provide a UI to the user reconfigure on the fly the layout of the explorer: collapsing items, moving items around, ...
Approach: presumably use JupyterLab's docking mechanism; it would be too costly to implement our own.

Steps:

  • Make each piece of the explorer (viewer, property list, method list, method help&run tab) into an independent widget
  • Rebuild "explore" on top of those widgets
  • Study JupyterLab's docking mechanism
  • Make each piece compatible with the docking mechanism
  • What about persistence?
@zerline zerline added the enhancement New feature or request label Nov 15, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nthiery @zerline