ui-core icon indicating copy to clipboard operation
ui-core copied to clipboard

Types should be collapsable

Open hojberg opened this issue 3 years ago • 1 comments

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 https://github.com/unisonweb/unison/issues/2175

hojberg avatar Mar 07 '22 15:03 hojberg

We're closer to supporting this now that definition summaries exist. They should be added to the definitions API to fully allow this change.

https://github.com/unisonweb/unison/issues/3515

hojberg avatar Oct 18 '22 13:10 hojberg