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

Fix duplicate keybinding suggestions in status bar after switching repos #3660

Merged
merged 2 commits into from
Jun 23, 2024
Merged

Fix duplicate keybinding suggestions in status bar after switching repos #3660

merged 2 commits into from
Jun 23, 2024

Commits on Jun 23, 2024

  1. Add a test demonstrating the bug 

    After switching to another repo and then back to the original one, all
keybinding suggestions in the status bar are shown twice.
    @stefanhaller
    stefanhaller committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    a7c9740 View commit details
    Browse the repository at this point in the history

  2. Clear keybinding functions in resetHelpersAndControllers 

    When switching to a repo that was open before, the context tree is reused, so
before adding keybinding functions to those contexts again, we need to clear the
old ones.
    @stefanhaller
    stefanhaller committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    cf27fd8 View commit details
    Browse the repository at this point in the history