Skip to content

Conversation

@kit-ty-kate
Copy link
Member

@kit-ty-kate kit-ty-kate commented Dec 5, 2025

Alternative to #6829 per #6829 (comment)
Fixes #6828

Note for reviewers: this is better reviewed using the "hide whitespace" github feature

@kit-ty-kate
Copy link
Member Author

ah my bad, i forgot about arrows support for menus, which is probably nice to have (although i'm not sure how much people know about it)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Confusing confirmation behavior when running opam in dumb terminals

1 participant