hojberg opened this issue 4 years ago · 0 comments
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.