Types should be collapsable
hojberg opened this issue · 1 comments
hojberg commented
Types should be collapsable in the UI and if they have docs, they should be collapsed by default like terms.
- Requires an extension to the definition API via unisonweb/unison#2175
hojberg commented
We're closer to supporting this now that definition summaries exist. They should be added to the definitions API to fully allow this change.