Make sure the "Open Settings" in menu switches to our settings if Settings are already opened #58

Closed

Closed

Make sure the "Open Settings" in menu switches to our settings if Settings are already opened#58

Assignees

Labels

difficulty: mediumpriority: medium

This requires fixing an upstream bug in JupyterLab: jupyterlab/jupyterlab#16479

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

andrewfulton9

Labels

difficulty: mediumpriority: medium

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests