Split abbreviations into a separate plugin
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 25/100
Research direction
Start by locating the abbreviations feature within the lean.nvim repository and reviewing how it depends on the plugin. Define the boundaries and standalone interface for a separate plugin, then verify that the extracted feature remains usable independently of lean.nvim.
Written by the indexing model from the issue text.
Description
Hi, I don't use lean.nvim, but I find the abbreviations feature really useful.
Would you be interested in splitting it into a separate plugin so others can also take advantage of it?
- Dominant language
- Lua
- Stars
- 607
- Forks
- 63
- Avg merge
- 1d 8h
- Merged PRs (30d)
- 8
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 1-2 days Newbie friendliness 56/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
-
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
Maintainers usually reply within 5 days
-
documentation good first issue help wanted
Difficulty 2/5 1-3 hours Newbie friendliness 90/100
eugenioenko/ttt#1000 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
Maintainers usually reply within 2 days
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
Maintainers usually reply within 1 day
-
Gap in tab header in Content tabPossibly taken A pull request linked to this issue is open or already merged. Open@ Mainmenu / Settingsmenu UI/UX Unconfirmed bug
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
luanti-org/luanti#17669 ·
Maintainers usually reply within 1 day