Skip to content

Add racket-langserver settings to enable UI configuration - #165

Merged
jryans merged 1 commit into
Eugleo:masterfrom
jryans:langserver-settings
Sep 17, 2026
Merged

jryans merged 1 commit into
Eugleo:masterfrom
jryans:langserver-settings

Conversation

@jryans

@jryans jryans commented Sep 16, 2026

Copy link
Copy Markdown
Collaborator

This allows the current settings of racket-langserver to be configured via VS Code settings UI. They will also be properly highlighted as "known" settings in the JSON view.

Please note that you will need to write the settings in "dotted" form for the VS Code UI to recognise them:

{
  "racket-langserver.resyntax.enable": true,
  "racket-langserver.formatting.documentFormatter": "fixw",
}

Fixes #164

@jryans

jryans commented Sep 16, 2026

Copy link
Copy Markdown
Collaborator Author

@6cdh @dannypsnl Since you've worked on the langserver side of configuration, perhaps you may have feedback about exposing the langserver settings via UI configuration in VS Code like this. Let me know what you think.

@6cdh

6cdh commented Sep 17, 2026

Copy link
Copy Markdown

Thanks! indentationFormatter says "formatting whole documents", but it's only used for range formatting and on type formatting. The whole document formatting goes to documentFormatter. Other changes look good to me. 😄

This allows the current settings of `racket-langserver` to be configured
via VS Code settings UI. They will also be properly highlighted as
"known" settings in the JSON view.

Please note that you will need to write the settings in "dotted" form
for the VS Code UI to recognise them:

```
{
  "racket-langserver.resyntax.enable": true,
  "racket-langserver.formatting.documentFormatter": "fixw",
}
```

Fixes Eugleo#164
@jryans
jryans force-pushed the langserver-settings branch from 587d70e to cee56d7 Compare September 17, 2026 14:25
@jryans

jryans commented Sep 17, 2026

Copy link
Copy Markdown
Collaborator Author

Ah thanks for catching it, that was a silly copy / paste error... 😇 Fixed now.

I'll wait a bit to see if @dannypsnl has any further feedback.

@dannypsnl

Copy link
Copy Markdown
Contributor

Look good to me, thanks!

@jryans
jryans merged commit 09579e0 into Eugleo:master Sep 17, 2026
2 checks passed
@jryans
jryans deleted the langserver-settings branch September 17, 2026 16:10
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.

Describe langserver settings to enable UI configuration

3 participants