Skip to content

Conversation

@gregorgoyle
Copy link

Adds an additional configuration option to allow users to choose between leader and local leader key mappings. Since I haven't worked on a Neovim plugin before, it's possible that there are places I missed, e.g. documentation. Any criticism would be very welcome, although I hope I didn't manage to make too many mistakes in the 5-ish lines I wrote.

@jghauser
Copy link
Owner

jghauser commented Jan 4, 2026

Hey! Thanks for the PR! I actually think that maybe we can just replace leader with localleader since that would bring us in line with how these are supposed to be used. Those who don't use localleader (like me) should just set it to the same key as leader. No need adding yet more options to papis.nvim 😅.

@gregorgoyle
Copy link
Author

I'm not sure what the best way to go about things would be, to be honest. I don't love the idea of being the one that potentially breaks people's keybinds but I totally get not wanting to add more config options 😅 .

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 this pull request may close these issues.

[Feat] Add option to choose between leader and localleader key mappings

2 participants