Getting `Vim:E95: Buffer with this name already exists` error with `lean://stderr` buffer
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- Mezza giornata
- Idoneità per principianti
- 35/100
Direzione di ricerca
Start at stderr.show in the stderr output module, where Buffer.create is called with the name lean://stderr inside vim.schedule. Check how Buffer.create applies the name via vim.api.nvim_buf_set_name, and why a second buffer with that name collides when the existing one is still valid. Done means reproducing the E95 error, then creating the stderr buffer without the collision, with a test covering two creations.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
I'm not entirely sure how to trigger this. It happens on this line (the Buffer.create line)
---Show stderr output in a separate stderr buffer.
---@param message string a (possibly multi-line) string from stderr
function stderr.show(message)
vim.schedule(function()
if not current.buffer or not current.buffer:is_valid() then
current.buffer = Buffer.create {
name = 'lean://stderr',
listed = false,
scratch = true,
options = { buftype = 'nofile' },
}
current.window = nil
end
then vim.api.nvim_buf_set_name(bufnr, opts.name).
perhaps it suffices to have an already-open lean://stderr and trigger the creation of another?
- Lingua principale
- Lua
- Stelle
- 601
- Fork
- 61
- Merge medio
- 3g 14h
- PR unite (30g)
- 7
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à 2/5 1-3 ore Idoneità per principianti 66/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
Tutte le issue di Julian/lean.nvim
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
[Operation Enhancement]: .editorconfigと.gitattributesでdictionaryとLuaファイルの編集・改行設定を統一するForse già presa @5kdn l’ha presa oggi. Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 80/100
5kdn/DCS-Translation-Japanese#163 ·
I maintainer di solito rispondono entro 1 giorno
-
[Bug Report]Apertaarea/Cubelet area/CubeNet bug needs-triage needs:compliance
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
TencentCloud/CubeSandbox#1917 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
bug help wanted
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
S1M0N38/love2d.nvim#31 ·