Skip to content

Conversation

@jeanp413
Copy link
Contributor

This PR fixes #119712

@sandy081
Copy link
Member

@jeanp413 I am sorry that I added help wanted label for #119712. After thinking a bit it does not feel like to me if it is worth to implement this. Hence I removed the labels and closed the issue as out of scope. So closing this PR too.

@sandy081 sandy081 closed this Mar 30, 2021
@jeanp413 jeanp413 deleted the unbound-keybinding branch March 30, 2021 16:00
@github-actions github-actions bot locked and limited conversation to collaborators May 14, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Nit: empty keybindings editor should render something more

2 participants