Automatically restart the language server or try to reconnect when needed
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 30/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- godot
- Área
- developer-experience, game-dev
Línea de trabajo
Comienza comprobando si Zed expone hooks para la desconexión, reconexión o reinicio del servidor de lenguaje cuando Godot está cerrado o no se está ejecutando. Determina si la reconexión automática y la información sobre la desconexión visible para el usuario son viables y, a continuación, verifica que la extensión reintente las conexiones y comunique los errores cuando sea compatible.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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.
- Lenguaje dominante
- Tree-sitter Query
- Estrellas
- 209
- Forks
- 23
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de GDQuest/zed-gdscript
-
Dificultad 3/5 1-2 días Aptitud para principiantes 63/100
GDQuest/zed-gdscript#98 · 6 comentarios ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 38/100
GDQuest/zed-gdscript#97 · 4 comentarios ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
GDQuest/zed-gdscript#78 · 6 comentarios · 1 reacción ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
GDQuest/zed-gdscript#71 · 5 comentarios ·
-
upstream
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
GDQuest/zed-gdscript#69 · 10 comentarios · 1 reacción ·
Todos los issues de GDQuest/zed-gdscript
Issues similares
-
Marble Madness II is missingAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
-
[Request]: Snow ShotAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
ScoopInstaller/Extras#18870 ·
Los mantenedores suelen responder en 1 día
-
type:bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
BHoM/MidasCivil_Toolkit#441 ·
-
TexStudio now offers ARM buildAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
autopkg/hjuutilainen-recipes#345 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
Los mantenedores suelen responder en 1 día