Customize the shell layout with the settings#6921
Merged
jtpio merged 17 commits intojupyter:mainfrom jtpio:layout-settingsJun 15, 2023
+2,715-2,407
Commits
Commits on Jun 14, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}