Julian/lean.nvim

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

• Telescope lean_abbreviations fails: abbreviations.load() resolves abbreviations.json relative to its caller

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100

  Julian/lean.nvim#555 · Aperta il 3/10/2026

• LSP does not restart on version upgrade

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Julian/lean.nvim#554 · 7 commenti · Aperta il 27/9/2026

• ProofWidgets GraphDisplay Not working

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100

  Julian/lean.nvim#524 · Aperta il 20/6/2026

• Enhanced hover duplicates function arguments

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100

  Julian/lean.nvim#519 · 1 reazione · Aperta il 22/5/2026

• Infoview popup shows partially instantiated type

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

  Julian/lean.nvim#517 · 2 commenti · Aperta il 18/5/2026

• Feature request: cancel outdated Lean RPC requests

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  Julian/lean.nvim#492 · 1 reazione · Aperta il 24/3/2026

• Stopping 'leanls' lsp doesn't stop downloading lean toolchain

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

  Julian/lean.nvim#482 · 3 commenti · Aperta il 9/3/2026

• InfoView updates in Insert Mode interfere with other plugins input handling

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  Julian/lean.nvim#470 · 1 commento · Aperta il 13/1/2026

• Don't bind a mapping if the key is already bound

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100

  Julian/lean.nvim#456 · Aperta il 30/11/2025

• Severe lag: repeated $/lean/rpc/call request storm in <1s

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100

  Julian/lean.nvim#442 · 1 commento · 4 reazioni · Aperta il 16/10/2025

• > lean.nvim build failed error when opening NeoVim , using Lazy

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  Julian/lean.nvim#432 · 4 commenti · Aperta il 3/10/2025

• Cursor lagging with Infoview open and fast scrolling

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  Julian/lean.nvim#409 · 4 commenti · Aperta il 23/7/2025

• Feature request: syntactic highlighting for expressions in the InfoView

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Julian/lean.nvim#379 · 8 commenti · 1 reazione · Aperta il 26/2/2025

• Split abbreviations into a separate plugin

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Julian/lean.nvim#376 · 1 commento · Aperta il 21/1/2025

• Feature request: Jump to corresponding file and line in trouble.nvim diagnostics

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  Julian/lean.nvim#359 · 1 commento · Aperta il 27/10/2024

• Provide option to unbind default <Tab> and <CR> bindings for abbreviation expansion

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  Julian/lean.nvim#355 · 1 commento · Aperta il 3/10/2024

• "CalcPanel" is not a supported Lean widget type.

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  Julian/lean.nvim#352 · 1 commento · 2 reazioni · Aperta il 29/8/2024

• Visual Indicator for Infoview pause

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Julian/lean.nvim#344 · 1 commento · Aperta il 5/7/2024

• lean.nvim emits logs on other files to ~/.local/state/nvim.log

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  Julian/lean.nvim#343 · 2 commenti · Aperta il 4/7/2024

• Infoview tooltips should render their contents as markdown

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

  Julian/lean.nvim#329 · 1 commento · Aperta il 14/1/2024

• Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement infoview

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Julian/lean.nvim#315 · Aperta il 5/11/2023

• Interactive popups close when entering nested popups

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  Julian/lean.nvim#235 · 2 commenti · Aperta il 14/2/2022

• Figure out what to do about abbreviations in modes other than insert mode

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Julian/lean.nvim#205 · 6 commenti · 1 reazione · Aperta il 18/11/2021

• Allow customizing infoview components via some Lua API

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement infoview

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Julian/lean.nvim#172 · 2 commenti · Aperta il 12/10/2021

• Automatically show tooltip when moving over term

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement infoview

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  Julian/lean.nvim#166 · 1 reazione · Aperta il 11/10/2021

• Add markdown comment syntax highlighting

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100

  Julian/lean.nvim#157 · 4 commenti · Aperta il 6/10/2021

• Per-window infoviews

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement infoview

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Julian/lean.nvim#128 · Aperta il 1/9/2021

• Full HTML widget support in a GUI

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement help wanted

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Julian/lean.nvim#59 · 1 commento · 2 reazioni · Aperta il 15/6/2021

• Configurably autoclose the infoview if it has no Lean buffers updating it

  Forse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement infoview

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  Julian/lean.nvim#43 · 6 commenti · 1 reazione · Aperta il 10/6/2021

• Improve how sub-functionality is configured

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Julian/lean.nvim#39 · Aperta il 5/6/2021

• Support folding in the infoview

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement infoview

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 30/100

  Julian/lean.nvim#31 · 2 commenti · Aperta il 28/5/2021

• Still show last compiled goal-state while `Processing file...`

  Forse già presa @valeratrades l’ha presa 206 giorni fa. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 40/100

  Julian/lean.nvim#369 · 2 commenti · Aperta il 15/12/2024

• Make how and when the infoview updates more configurable, particularly for cases when it goes blank

  Forse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement infoview

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Julian/lean.nvim#257 · Aperta il 3/5/2022