redhat-developer / redhat-developer/vscode-java
vscode-java/jdt.ls doesn't pick up settings changes if language server isn't running
Aperta
@testforstephen ci sta già lavorando.
Dal 28/10/2020.
- Lingua principale
- TypeScript
- Stelle
- 2.3k
- Fork
- 546
- Merge medio
- 20h 1m
- PR unite (30g)
- 11
Descrizione
This issue is a spinoff of #1672 which contains some more background information.
I encountered the following problem:
If you:
- start vscode without starting the Java language server (e.g. folder without a pom.xml but with subfolders containing Java projects)
- directly edit the java.* settings (e.g. java.home or java.configuration.runtimes) in settings.json
- save the settings
- open a Java file afterwards
the language server will start with the old settings and does not prompt you to clean the workspace. Your workspace will be out of sync with the settings and you'll need to manually clean the workspace.
Environment
- Operating System: MacOS 10.15
- JDK version: 11/15
- Visual Studio Code version: 1.50.1
- Java extension version: 0.69.0
Steps To Reproduce
see above in description
Guida per i contributori
Apri 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.
Valutazione
Questa issue non è ancora stata valutata.