Interactive popups close when entering nested popups
Nobody has claimed this yet.
Assessment
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Newbie friendliness
- 35/100
Research direction
Reproduce the issue with :LeanTermGoal twice, then open and enter a nested popup, and read the linked Neovim 0.6 change. Trace the popup and floating-window handling in lean.nvim; done means the original floating window remains visible and the nested popup stays correctly positioned.
Written by the indexing model from the issue text.
Description
- Call
:LeanTermGoaltwice, this opens a floating window and moves the cursor into it. - Open a nested popup and move the cursor into the nested popup. (requires Lean 4)
- The floating window disappears and the nested popup moves to the top-left corner.
This is probably due to this change in neovim 0.6: https://github.com/neovim/neovim/pull/16557 I'm not sure what the best solution is, but we might need to roll our own floating windows.
- 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