Skip to content

Commit

Permalink
docs: Direct Java extension users to JDTLS initialization options (#1…
Browse files Browse the repository at this point in the history
…9401)

Continuation of #19390
  • Loading branch information
valentinegb authored Oct 18, 2024
1 parent 64a6e9c commit 6a463be
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/src/languages/java.md
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ We recommend you install one or the other and not both.

## Settings / Initialization Options

See [JDTLS Language Server Settings & Capabilities](https://github.com/eclipse-jdtls/eclipse.jdt.ls/wiki/Language-Server-Settings-&-Capabilities) for a complete list of settings.
For available `initialization_options` please see the [Initialize Request section of the Eclipse.jdt.ls Wiki](https://github.com/eclipse-jdtls/eclipse.jdt.ls/wiki/Running-the-JAVA-LS-server-from-the-command-line#initialize-request).

Add the following to your Zed Settings by launching {#action zed::OpenSettings}({#kb zed::OpenSettings}).

Expand Down

0 comments on commit 6a463be

Please sign in to comment.