Provide option to unbind default <Tab> and <CR> bindings for abbreviation expansion
Nobody has claimed this yet.
Assessment
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Newbie friendliness
- 35/100
- Issue type
- Feature
- Clarity
- Mostly clear
- Activity status
- Stale
- Tech stack
- lua, vim
- Domain
- developer-experience, tooling
Research direction
Start by reading the abbreviation setup around require("lua.abbreviations").convert() and trace how config.abbreviations currently installs the and bindings. Compare the proposed keymaps or mappings options and verify that abbreviations still work through explicitly mapped keys while the default bindings can be disabled.
Written by the indexing model from the issue text.
Description
Hello!
I'm a big fan of the plugin and have been using it for class.
I would like the option to unbind <Tab> and <CR> from expanding abbreviations, without also disabling abbreviations entirely. If someone (like me) has an insane personal preference for using keys other than <Tab> and <CR> for completion, it can be annoying to hit <Tab> for indenting the line and then get an expansion instead.
It is currently easy to map another key to expand abbreviations, using the require("lua.abbreviations").convert() function. I believe it would also be nice to either:
- Allow for
keymaps = falseinconfig.abbreviationsin order to not bind<Tab>and<CR>, or - Allow for
config.mappings = falseto remove those bindings.
Thank you -- your plugin has really saved my butt in my Formal Methods class becuase now I don't need to leave Neovim to do my coursework!
- Dominant language
- Lua
- Stars
- 607
- Forks
- 63
- Avg merge
- 3d 14h
- Merged PRs (30d)
- 7
Getting set up
- No Dockerfile or Docker Compose file
- No pull request template
- Read the contributing guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from Julian/lean.nvim
-
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
-
Difficulty 3/5 Half a day Newbie friendliness 35/100
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
Difficulty 3/5 1-2 days Newbie friendliness 58/100
All issues in Julian/lean.nvim
Similar issues
-
Feature Request
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
Questie/QuestieTrace#92 ·
Maintainers usually reply within 1 day
-
bug
Difficulty 1/5 Under an hour Newbie friendliness 85/100
Maintainers usually reply within 1 day
-
WitchOpen
Difficulty 1/5 Under an hour Newbie friendliness 88/100
LuaLS/lua-language-server#3471 ·
-
RadlNavi Routing V2.3.5 Rechts/Links Kombinationen halb unterdrücktPossibly taken @thomas-munichways claimed this 1 day ago. Open
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
-
bug good first issue ready ticket
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
Domktorymysli/vclu#20 ·