Skip to content

✨ Keybindings Settings Pane #1056

Open

Description

@austincondiff

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

Activity

  1. moved this from 🆕 New to 💬 Needs Clarification in CodeEdit Projecton Feb 16, 2023
  2. moved this from 💬 Needs Clarification to 📋 Todo in CodeEdit Projecton Feb 18, 2023
  3. luah5 commented on Mar 25, 2023

    @luah5
    Member

    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

  4. austincondiff commented on Mar 25, 2023

    @austincondiff
    CollaboratorAuthor

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

  5. luah5 commented on Mar 25, 2023

    @luah5
    Member

    ok, @austincondiff. on hold

  6. Omarbasaleh commented on May 13, 2023

    @Omarbasaleh

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

  7. luah5 commented on May 13, 2023

    @luah5
    Member

    @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?

  8. Omarbasaleh commented on May 13, 2023

    @Omarbasaleh
  9. austincondiff commented on May 13, 2023

    @austincondiff
    CollaboratorAuthor

    @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).

  10. Omarbasaleh commented on May 13, 2023

    @Omarbasaleh
  11. pannous commented on Oct 10, 2024

    @pannous

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

  12. austincondiff commented on Oct 10, 2024

    @austincondiff
    CollaboratorAuthor

    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

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions