redhat-developer / redhat-developer/vscode-java
vscode-java/jdt.ls doesn't pick up settings changes if language server isn't running
Offen
@testforstephen arbeitet bereits daran.
Seit 28.10.2020.
- Vorherrschende Sprache
- TypeScript
- Sterne
- 2.3k
- Forks
- 546
- Ø Merge
- 20 Std. 1 Min.
- Gemergte PRs (30 T.)
- 11
Beschreibung
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
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Bewertung
Dieses Issue wurde noch nicht bewertet.