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

More space for Favorites list #9

Open
joel23888 opened this issue Jun 17, 2022 · 2 comments
Open

More space for Favorites list #9

joel23888 opened this issue Jun 17, 2022 · 2 comments
Labels
enhancement New feature or request

Comments

@joel23888
Copy link

joel23888 commented Jun 17, 2022

I would like to be able to have more space for the Favorites list. When working on a smaller screen, I can only add five items before scroll bars appear which makes it less efficient to use the Favorites list.

One possible solution from a user perspective may be to allow the user to change the split between the Favorites list and the File Browser. Another possible solution might involve having a separate Favorites button in the side bar.

Extension: 3.1.0
JupyterLab: 3.4.2
OS: Linux RedHat 7

@joel23888 joel23888 added the enhancement New feature or request label Jun 17, 2022
@joel23888 joel23888 changed the title I would like to be able to have more space for the Favorites list. When working on a smaller screen, I can only add five items before scroll bars appear which makes it less efficient to use the Favorites list. One possible solution from a user perspective may be to allow the user to change the split between the Favorites list and the File Browser. Another possible solution might involve having a separate Favorites button in the side bar. More space for Favorites list Jun 17, 2022
@fcollonval
Copy link
Member

Thanks for the suggestion @joel23888

Note: it will be nice to push an upstream PR to core JupyterLab to use an AccordionPanel for the FileBrowser

@ianhinder
Copy link

Related to this, it would also be good to be able to reduce the amount of space taken up by the favorites, perhaps even being able to collapse it completely when it's not needed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants