Skip to content

Make default notebook widget size smaller and configurable#6827

Merged
jprochazk merged 5 commits intomainfrom jan/default-notebook-sizeJul 9, 2024

Commits

Commits on Jul 9, 2024