Skip to content

docs: include default values for language server settings#1280

Open
SSDWGG wants to merge 2 commits into
redhat-developer:mainfrom
SSDWGG:docs-settings-defaults-20260613074827
Open

docs: include default values for language server settings#1280
SSDWGG wants to merge 2 commits into
redhat-developer:mainfrom
SSDWGG:docs-settings-defaults-20260613074827

Conversation

@SSDWGG

@SSDWGG SSDWGG commented Jun 13, 2026

Copy link
Copy Markdown

Fixes #1055

Summary

  • convert the language server settings list into a table
  • document the default value for each listed setting from the current settings state and schema URL constants

Validation

  • Not run; documentation-only change prepared via GitHub API without a local checkout.

AI assistance disclosure: This pull request was prepared with the assistance of AI and has not yet been reviewed by a human.

@SSDWGG SSDWGG requested a review from datho7561 as a code owner June 13, 2026 07:48
@SSDWGG SSDWGG force-pushed the docs-settings-defaults-20260613074827 branch from 0940ce1 to e9500e2 Compare June 13, 2026 07:55
@datho7561

Copy link
Copy Markdown
Contributor

Looking at the markdown preview, the table doesn't look all that great on GitHub. The last column is as wide as the first two and gets line wrapped, which makes it hard to read. I think it would be better to add the default in parentheses after the name of the setting.

@SSDWGG

SSDWGG commented Jun 16, 2026

Copy link
Copy Markdown
Author

Updated the settings table to fold defaults into the setting name column, so the description column has more room in GitHub's markdown preview.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Default settings

2 participants