-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Consider reverting #37940 #41799
Comments
Would it be possible to instead move |
I don't see an easy way, because if a package has already handled I think this can come back (I totally get why you'd want this, it's a great feature to have), but we'd need to introduce some kind of key-configuration. It's unclear to me whether that should be a global or an option to the menu constructor. Overall, giving TerminalMenus a decent interface while also not breaking anything is a hard problem, I had to go to considerable heroics in #35915. |
You are right, my suggestion wouldn't work. I made a draft for opt-in vim bindings.
If you like, I can prepare a PR to FoldingTrees as well. |
FYI: The keybindings introduced in #41576 also clash with vim bindings. |
#41576 is completely optional so won't affect any existing users, and doesn't specify any particular keys. It merely adds the facility to customize keys. You could probably mimic that approach and add a I'll go ahead and revert #37940, thanks for your willingness and the discussion! Yes, I'd be happy to receive a PR for FoldingTrees once the replacement for #37940 merges. |
This reverts commit 4a19b75. Closes JuliaLang#41799.
This reverts commit 4a19b75. Closes JuliaLang#41799.
#37940 (comment)
The text was updated successfully, but these errors were encountered: