search

unisonweb / codebase-ui

Unison Codebase UI
https://share.unison-lang.org
MIT License
46 stars 7 forks source link

Builtin terms shouldn't have a "expand" interaction #266

Closed hojberg closed 2 years ago

hojberg commented 3 years ago

Builtins can't be expanded, but the UI still shows a hover treatment and even changes the caret to "expanded" when clicked. This interaction should be disabled.