redhat-developer / redhat-developer/vscode-java

vscode-java/jdt.ls doesn't pick up settings changes if language server isn't running

Aperta
#1,674 0 commenti 0 reazioni 1 assegnatario Vedi su GitHub

@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:

  1. start vscode without starting the Java language server (e.g. folder without a pom.xml but with subfolders containing Java projects)
  2. directly edit the java.* settings (e.g. java.home or java.configuration.runtimes) in settings.json
  3. save the settings
  4. 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

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.