Configurably autoclose the infoview if it has no Lean buffers updating it
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
- #103 di @rish987 — chiusa senza merge
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
Direzione di ricerca
Inizia individuando il ciclo di vita di infoview e la gestione della configurazione nel repository; l’issue non specifica alcun file né test. Traccia il modo in cui i buffer di Lean aggiornano infoview, quindi verifica che l’opzione abilitata per impostazione predefinita la chiuda quando scompare l’ultimo updater e che la disabilitazione dell’opzione la mantenga.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Add a configuration option infoview.autoclose = true (default) which indicates the infoview should be closed if no Lean buffers are updating it anymore (e.g. particularly if it is the last remaining window).
- Lingua principale
- Lua
- Stelle
- 611
- Fork
- 63
- Merge medio
- 1g 7h
- PR unite (30g)
- 10
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di Julian/lean.nvim
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 54/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 56/100
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di Julian/lean.nvim
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
good first issue
Difficoltà 2/5 Mezza giornata Idoneità per principianti 74/100
whoismjanyway/sereno#14 ·
-
luaebpf: the by-example page's intro names two outcomes of a lowering and omits the stop with the default verdictForse già presa Una pull request collegata a questa issue è aperta o già unita. Apertadocumentation severity: low
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
luainkernel/lunatik#2231 ·
I maintainer di solito rispondono entro 1 giorno
-
bug triage
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 85/100
Cidan/BetterBags#1239 ·
I maintainer di solito rispondono entro 1 giorno