Automatically restart the language server or try to reconnect when needed
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 30/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Stack tecnologico
- godot
- Ambito
- developer-experience, game-dev
Direzione di ricerca
Inizia verificando se Zed espone hook per la disconnessione, la riconnessione o il riavvio del language server quando Godot è chiuso o non è in esecuzione. Determina se la riconnessione automatica e le informazioni sulla disconnessione rivolte all’utente sono fattibili, quindi verifica che l’estensione ritenti le connessioni e comunichi i fallimenti quando supportato.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Currently, when the language server will not connect, because Godot is not launched, or because Godot was closed, there is no information to the user, and the extension will not try to reconnect automatically.
We should see if there are hooks in zed that would allow us to try to reconnect automatically.
A separate improvement would be to inform the user when the server disconnected, although I don't know if Zed currently has a provision for this.
- Lingua principale
- Tree-sitter Query
- Stelle
- 207
- Fork
- 23
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Non abbiamo ancora controllato i file di configurazione di questo progetto. Parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
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 GDQuest/zed-gdscript
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 63/100
GDQuest/zed-gdscript#98 · 6 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
GDQuest/zed-gdscript#97 · 4 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
GDQuest/zed-gdscript#78 · 6 commenti · 1 reazione ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
GDQuest/zed-gdscript#71 · 5 commenti ·
-
upstream
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
GDQuest/zed-gdscript#69 · 10 commenti · 1 reazione ·
Tutte le issue di GDQuest/zed-gdscript
Issue simili
-
Difficoltà 2/5 Mezza giornata Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
needs-triage
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100
JustJarethB/invoicer#54 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
good first issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
comp/tools P3 type/bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
NousResearch/hermes-agent#126059 ·
I maintainer di solito rispondono entro 1 giorno