Cursor lagging with Infoview open and fast scrolling
Nobody has claimed this yet.
Assessment
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Newbie friendliness
- 35/100
- Issue type
- Bug
- Clarity
- Mostly clear
- Activity status
- Stale
- Tech stack
- lua, neovim
- Domain
- developer-experience, performance
Research direction
Reproduce the hitch with the infoview open while rapidly scrolling through a relatively large Lean file using J or K. Trace the infoview update path and determine whether rapid cursor movement triggers an update for every line; done means scrolling remains responsive while the infoview still settles on the current line.
Written by the indexing model from the issue text.
Description
When I have the infoview open in a relatively large file, and I hold down J or K to quickly scroll through lines, the cursor scrolling seems to hitch as the infoview tries to display information for every line under the cursor. If I close the infoview I do not experience this behavior.
Is there any debouncing in the infoview to prevent it from updating for every line under rapid scrolling?
- Dominant language
- Lua
- Stars
- 601
- Forks
- 61
- 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 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
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
All issues in Julian/lean.nvim
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
mogenson/PaperWM.spoon#178 ·
-
enhancement good first issue
Difficulty 2/5 1-3 hours Newbie friendliness 85/100
-
severity: low
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
luainkernel/lunatik#1876 ·
Maintainers usually reply within 1 day
-
Difficulty 1/5 Under an hour Newbie friendliness 91/100
-
bug ready ticket
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
Domktorymysli/vclu#5 ·