From 6a463be1aeb0f011810e57689a062ccce2509361 Mon Sep 17 00:00:00 2001 From: Valentine Briese Date: Fri, 18 Oct 2024 12:02:42 -0700 Subject: [PATCH] docs: Direct Java extension users to JDTLS initialization options (#19401) Continuation of #19390 --- docs/src/languages/java.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/languages/java.md b/docs/src/languages/java.md index de666879424d3a8040c9a39f2de0d9a3d0840d48..d819ecd92b8ed2ba4371f85535dd5a11548c10b2 100644 --- a/docs/src/languages/java.md +++ b/docs/src/languages/java.md @@ -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}).