add a toggle to filter empty schemas and db#9712

Light2Dark wants to merge 1 commit into

mainmarimo-team/marimo:mainfrom

sham/hide-empty-schemas-dbmarimo-team/marimo:sham/hide-empty-schemas-dbCopy head branch name to clipboard