Skip to content

Fix settings update and vertical scroll#249

Merged
JasonWeill merged 3 commits intojupyterlab:mainfrom 3coins:fix-settings-updateJul 5, 2023

Commits

Commits on Jun 30, 2023