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

(Bug) Deleting a profile via the "Profiles" tab doesn't remove it's hotkeys from config.yaml #4684

Closed
SigmaGrindset opened this issue Oct 1, 2021 · 0 comments · Fixed by #7884

Comments

@SigmaGrindset
Copy link

Version: 1.0.158
Platform: Windows x64 10.0.19043

After deleting a profile via "Profiles" tab, it's hotkeys for "New tab" still remain in the config.yaml file. This can sometimes lead to binds not working.

Create a profile and assign a shortcut for "New tab: ". Delete this profile and create a new one. To the new profile, assign the same key combination for "New tab: ".

The old profile is removed from the "profiles" list, but not from "hotkeys.profile".

This is what that looks like:

profile:
    local:git-bash: []
    local:custom:test-1:e574684e-0982-4fcc-9cc8-8665307c63e2:
      - - Ctrl-Shift-]
    local:custom:test-2:3dc1c968-8610-4686-a1a3-f2310078a1b6:
      - - Ctrl-Shift-]

Where "test-1" is the profile that was created and then deleted, and "test-2" the profile that was created afterwards.
As a result, the key combination doesn't do anything when pressed.

I understand it can be manually fixed by deleting it from the config file, but I wanted to point it out anyways.

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

Successfully merging a pull request may close this issue.

2 participants