List picker component for morphisms of modal diagrams#1309

quffaro wants to merge 2 commits into

mainToposInstitute/CatColab:mainfrom

cm/frontend-for-modal-diagramsToposInstitute/CatColab:cm/frontend-for-modal-diagramsCopy head branch name to clipboard