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

✨ Keybindings Settings Pane #1056

Open
austincondiff opened this issue Feb 16, 2023 · 10 comments
Open

✨ Keybindings Settings Pane #1056

austincondiff opened this issue Feb 16, 2023 · 10 comments
Labels
enhancement New feature or request

Comments

@austincondiff
Copy link
Collaborator

austincondiff commented Feb 16, 2023

Is your feature request related to a problem? Please describe.

We need to provide users with the ability to set and manage keybindings used in CodeEdit.

Describe the solution you'd like

Users need to be able to change keyboard shortcuts used to call commands within CodeEdit.
We will eventually allow users to save and apply keybinding sets.

Additional context

Xcode's Keybinding Settings Pane

image

VS Code

image

macOS Keyboard Shortcuts

image

Proposed Design

image

image

image

@austincondiff austincondiff added the enhancement New feature or request label Feb 16, 2023
@austincondiff austincondiff moved this from 🆕 New to 💬 Needs Clarification in CodeEdit Project Feb 16, 2023
@austincondiff austincondiff moved this from 💬 Needs Clarification to 📋 Todo in CodeEdit Project Feb 18, 2023
@luah5
Copy link
Member

luah5 commented Mar 25, 2023

i'm taking this on before i start the move to ventura preferences, how should this look in the current/legacy preferences? I think a combination of the list like of VSCode and the filter at the top of xcode would be best for an initial implementation

@austincondiff
Copy link
Collaborator Author

@luah5 I don't recommend this since we will be rewriting some preferences/settings views. Wait until after moving over to Settings.

@luah5
Copy link
Member

luah5 commented Mar 25, 2023

ok, @austincondiff. on hold

@Omarbasaleh
Copy link

I want to work on this feature. Is it the right time to work on it?

@luah5
Copy link
Member

luah5 commented May 13, 2023

@Omarbasaleh, It's ready since #1215 has been merged, I've already started tho, would you like to collaborate as this still needs more discussion to be compatible with extensions?

@Omarbasaleh
Copy link

Omarbasaleh commented May 13, 2023 via email

@austincondiff
Copy link
Collaborator Author

austincondiff commented May 13, 2023

@luah5 This is actually not ready quite yet. The settings view does no good if the underlying functionality is not built. Please refer to this thread on Discord. We need better support for commands in CodeEditKit first (see #222 and #224).

@Omarbasaleh
Copy link

Omarbasaleh commented May 13, 2023 via email

@pannous
Copy link

pannous commented Oct 10, 2024

In the meantime how would one go about to discover all the available (hardcoded) shortcuts today?

@austincondiff
Copy link
Collaborator Author

You can look through the menu bar. Keybindinfs are next to each command name.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: 📋 Todo
Development

No branches or pull requests

4 participants