search

ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling
https://catcolab.org
MIT License
29 stars 7 forks source link

Metadata for cells #60

Open olynch opened 3 months ago

olynch commented 3 months ago

Apart from the rich-text cells, it might make sense to be able to attach "docstrings" to the formal cells, which would support longer descriptions than just the name of the formal cell. Maybe the right UI for this is to "drag" a connection between a rich-text cell and a formal cell?

KevinDCarlson commented 3 months ago

I'm nervous about adding some new graph structure on top of the notebook side, seems like we want to keep that as close to a vector of cells as possible. Also, if I were working in a code notebook I still might write docstrings/comments in the code cells. What about an "add documentation" button while adding a new cell that produces a docstring that displays at the bottom (?) of the cell, with a toggle to manually collapse it, and which collapses by default (with maybe some symbolic reminder that it's there) when focus leaves the cell?