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.

Sign up for GitHub

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

Jump to bottom

Delete and edit custom commands history items #3534

Merged
merged 3 commits into from May 19, 2024
Merged

Delete and edit custom commands history items #3534

merged 3 commits into from May 19, 2024

Commits on May 19, 2024

  1. Support deleting items from the custom commands history 

    In the custom commands panel you can now tab to the suggestions and hit 'd' to
delete items from there. Useful if you mistyped a command and don't want it to
appear in your history any more.
    @stefanhaller
    stefanhaller committed May 19, 2024
    Configuration menu
    Copy the full SHA
    da3e0f7 View commit details
    Browse the repository at this point in the history

  2. Allow editing a custom command from the suggestions list by pressing 'e' 

    For custom commands it is useful to select an earlier command and have it copied
to the prompt for further editing. This can be done by hitting 'e' now.

For other types of suggestion panels we don't enable this behavior, as you can't
create arbitrary new items there that don't already exist as a suggestion.
    @stefanhaller
    stefanhaller committed May 19, 2024
    Configuration menu
    Copy the full SHA
    a7041cf View commit details
    Browse the repository at this point in the history

  3. Show delete/edit keybindings in suggestions subtitle if available

    @stefanhaller
    stefanhaller committed May 19, 2024
    Configuration menu
    Copy the full SHA
    010b0ae View commit details
    Browse the repository at this point in the history