Fix invisible "Restore to Defaults" button#23
Merged
martinRenou merged 1 commit intojupyterlab-contrib:mainfrom Aug 28, 2025
Merged
Fix invisible "Restore to Defaults" button#23martinRenou merged 1 commit intojupyterlab-contrib:mainfrom
martinRenou merged 1 commit intojupyterlab-contrib:mainfrom