Skip to content
This repository was archived by the owner on Jul 19, 2022. It is now read-only.

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

Closed
hojberg opened this issue Oct 28, 2021 · 0 comments · Fixed by #279
Closed

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

hojberg opened this issue Oct 28, 2021 · 0 comments · Fixed by #279
Labels
bug Something isn't working

Comments

@hojberg
Copy link
Member

hojberg commented Oct 28, 2021

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.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix bug where builtin folds were not disabled unisonweb/codebase-ui
1 participant
@hojberg