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

Key label doesn't work with <leader> #108

Closed
gbrlsnchs opened this issue Jun 23, 2021 · 2 comments · Fixed by #383
Closed

Key label doesn't work with <leader> #108

gbrlsnchs opened this issue Jun 23, 2021 · 2 comments · Fixed by #383

Comments

@gbrlsnchs
Copy link

My leader key is mapped to Space and all custom maps registered are prefixed with <Leader>.

Here is my which-key config:

local which_key = require("which-key")
which_key.setup({
	icons = {
		breadcrumb = ">",
		separator = "->",
		group = "+",
	},
	key_labels = {
		["<leader>"] = "SPC",
	},
	window = {
		border = "double",
	},
})

When I press space (the leader key), the key label is not used, since it shows <leader> at the bottom of the editor, while I expected to see SPC.

@folke folke closed this as completed in 1872dd8 Jun 23, 2021
@folke
Copy link
Owner

folke commented Jun 23, 2021

I just pushed a fix for this. The labels were not yet applied to the cmdline area. Let me know if you have any more issues. Thanks!

@gbrlsnchs
Copy link
Author

It worked! Thanks a lot 🤩

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

Successfully merging a pull request may close this issue.

2 participants