Simplify API of data-managing widgets a bit, and document#26
Merged
chrisbobbe merged 4 commits intozulip:mainfrom Mar 15, 2023
Merged
Simplify API of data-managing widgets a bit, and document#26chrisbobbe merged 4 commits intozulip:mainfrom
chrisbobbe merged 4 commits intozulip:mainfrom
Commits
Commits on Mar 14, 2023
- committed
- committed
- committed
- committed
