jupyter-server / pycrdt

CRDTs based on Yrs.
https://jupyter-server.github.io/pycrdt
MIT License
41 stars 10 forks source link

Support undo manager expand_scope #128

Closed davidbrochart closed 2 months ago