Skip to content

Fix toggle functionality for widgets. - #7178

Merged
jtpio merged 2 commits into
jupyter:mainfrom
haok1402:issue#7147
Dec 11, 2023
Merged

jtpio merged 2 commits into
jupyter:mainfrom
haok1402:issue#7147

Conversation

@haok1402

@haok1402 haok1402 commented Dec 7, 2023

Copy link
Copy Markdown
Contributor

Fixes #7147

Description

This pull request addresses an issue in the expand function within the panelhandler.ts file.
It now supports toggle functionality for "Table of Contents" and "Debugger Panel" in the View option menu.

Co-authored-by: cccindyyyl <cccindyyyl@users.noreply.github.com>
Co-authored-by: Bojun Li <BojunLi03@users.noreply.github.com>
Co-authored-by: Sen Feng <SenF1@users.noreply.github.com>
Co-authored-by: Ariel Kwak <arielkwak@users.noreply.github.com>
@github-actions

github-actions Bot commented Dec 7, 2023

Copy link
Copy Markdown
Contributor

Binder 👈 Launch a Binder on branch haok1402/notebook/issue#7147

@jtpio jtpio left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@jtpio
jtpio merged commit 728807f into jupyter:main Dec 11, 2023
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Dec 14, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Menu View → Table of Contents should toggle

2 participants