[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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

Allow users to change settings from a notebook view #7450

Open
psychemedia opened this issue Sep 2, 2024 · 3 comments
Open

Allow users to change settings from a notebook view #7450

psychemedia opened this issue Sep 2, 2024 · 3 comments
Labels
enhancement

Comments

@psychemedia
Copy link

Currently the Table of Contents sidebar seems to be collapsed by default and must be opened either from View > Table of contents or shift-command-k`.

It would be useful the show / hide setting could be set by default via a settings file.

Ideally, the user should also be able to change the default, but I note that the notebook UI does not seem to expose the Settings > Settings Editor option that JupyterLab provides?
@psychemedia psychemedia added enhancement status:Needs Triage Applied to issues that need triage labels Sep 2, 2024
@psychemedia psychemedia changed the title Display table of contents by default user setting Display table of contents according to configurable default system or user setting Sep 2, 2024
@psychemedia
Copy link
Author

Relates to: #6990

@jtpio
Copy link
Member
jtpio commented Sep 3, 2024

Ideally, the user should also be able to change the default, but I note that the notebook UI does not seem to expose the Settings > Settings Editor option that JupyterLab provides?

It does, but only on the file browser page (/tree).

@RRosio RRosio changed the title Display table of contents according to configurable default system or user setting Allow users to change settings from a notebook view Sep 3, 2024
@RRosio
Copy link
Collaborator
RRosio commented Sep 3, 2024

Per triage: accepting this issue and re-naming it to reflect follow-up comments

@RRosio RRosio removed the status:Needs Triage Applied to issues that need triage label Sep 3, 2024
@JasonWeill JasonWeill mentioned this issue Sep 3, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@psychemedia @jtpio @RRosio