Skip to content
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

Global custom repl command keys override workspace dittos, should be the other way around #2640

Closed
PEZ opened this issue Sep 29, 2024 · 0 comments

Comments

@PEZ
Copy link
Collaborator

PEZ commented Sep 29, 2024

Similar to #2606 , Calva currently sorts configured custom repl commands in the order of [...Global, ...Workspace, ...Workspace Folder], resulting in that the menu is presented with the workspace commands last, and also that any conflicting shortcut keys are resolved such that Global wins, which is not what a user would expect.

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

No branches or pull requests

1 participant