Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ajouter le serveur de langue pour Java #6

Open
Mw3y opened this issue Jul 11, 2024 · 2 comments
Open

Ajouter le serveur de langue pour Java #6

Mw3y opened this issue Jul 11, 2024 · 2 comments
Assignees
@Mw3y
Labels
enhancement New feature or request

Comments

@Mw3y
Copy link
Collaborator

Mw3y commented Jul 11, 2024

No description provided.

@Mw3y Mw3y added the enhancement New feature or request label Jul 11, 2024
@Mw3y Mw3y self-assigned this Jul 11, 2024
@Mw3y
Copy link
Collaborator Author

Mw3y commented Aug 3, 2024

Résolu partiellement avec #24. Il manque le serveur de langue pour Java.

@Mw3y Mw3y changed the title Ajouter les language-servers avec monaco wrapper Ajouter le serveur de langue pour Java Aug 3, 2024
@Androz2091 Androz2091 added the wontfix This will not be worked on label Aug 13, 2024
@Mw3y
Copy link
Collaborator Author

Mw3y commented Aug 17, 2024

Sera probablement possible pour l'édition 2025 avec l'aide d'un outil nommé CheerPJ.

@Androz2091 Androz2091 removed the wontfix This will not be worked on label Aug 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Mw3y Mw3y

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Mw3y @Androz2091