Skip to content

Issues: Julian/lean.nvim

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

23 Open 141 Closed
23 Open 141 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Set winfixbuf when available (0.10+) on our infoview windows. enhancement New feature or request
#332 opened Mar 11, 2024 by Julian
Infoview tooltips should render their contents as markdown bug Something isn't working
#329 opened Jan 14, 2024 by Julian
1
(Re-)review / harmonize with the VSCode options enhancement New feature or request
#328 opened Jan 3, 2024 by Julian
Inaccessible hypothesis highlighting should highlight inaccessible names even when there are alternate accessible ones bug Something isn't working infoview Relates to infoview
#326 opened Dec 7, 2023 by Julian
Improve :Telescope loogle enhancement New feature or request
#317 opened Nov 6, 2023 by hargoniX
1 of 3 tasks
1
Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows enhancement New feature or request infoview Relates to infoview
#315 opened Nov 5, 2023 by Julian
git password prompt in lakefile breaks neovim bug Something isn't working
#274 opened Sep 2, 2022 by gebner
3
Make how and when the infoview updates more configurable, particularly for cases when it goes blank enhancement New feature or request infoview Relates to infoview
#257 opened May 3, 2022 by Julian
Interactive popups close when entering nested popups bug Something isn't working
#235 opened Feb 14, 2022 by gebner
2
Figure out what to do about abbreviations in modes other than insert mode enhancement New feature or request
#205 opened Nov 18, 2021 by Julian
6
Allow customizing infoview components via some Lua API enhancement New feature or request infoview Relates to infoview
#172 opened Oct 12, 2021 by Julian
2
Automatically show tooltip when moving over term enhancement New feature or request infoview Relates to infoview
#166 opened Oct 11, 2021 by gebner
Add markdown comment syntax highlighting enhancement New feature or request
#157 opened Oct 6, 2021 by gebner
4
Per-window infoviews enhancement New feature or request infoview Relates to infoview
#128 opened Sep 1, 2021 by rish987
Extract abbreviations functionality so that other languages can use it as well enhancement New feature or request
#117 opened Aug 16, 2021 by clason
10
Debouncing is negated because of infoview updates bug Something isn't working infoview Relates to infoview
#115 opened Aug 14, 2021 by rish987
3
Full HTML widget support in a GUI enhancement New feature or request help wanted Extra attention is needed
#59 opened Jun 15, 2021 by Julian
1
Configurably autoclose the infoview if it has no Lean buffers updating it enhancement New feature or request infoview Relates to infoview
#43 opened Jun 10, 2021 by Julian
1
5
Improve how sub-functionality is configured enhancement New feature or request
#39 opened Jun 5, 2021 by Julian
2 tasks
Add (auto)indent support enhancement New feature or request
#38 opened Jun 4, 2021 by Julian
Support folding goals in the infoview enhancement New feature or request infoview Relates to infoview
#31 opened May 28, 2021 by Julian
The infoview should communicate when the LSP has died enhancement New feature or request infoview Relates to infoview
#30 opened May 28, 2021 by Julian
Implement goal state diff-ing enhancement New feature or request
#5 opened Jan 15, 2021 by Julian
ProTip! Find all open issues with in progress development work with linked:pr.