Nicholas Rayburn 1bcd707c8c fix(editor): Update config sent to language server (#6724) ... Syncs up the options from the language server `Options` struct with the values that the extension supplies. I tend to avoid `toJSON` because it will be used by `JSON.stringify` when called and it's not well known. There's no reason that `LanguageServerConfig` and `Config` have to both exist, but I think two types is easier to understand. --------- Co-authored-by: autofix-ci[bot] <114827586+autofix-ci[bot]@users.noreply.github.com>		2024-10-21 11:01:21 +08:00
..
config.ts	fix(editor): Update config sent to language server (#6724)	2024-10-21 11:01:21 +08:00
extension.ts	fix(editor): Update config sent to language server (#6724)	2024-10-21 11:01:21 +08:00
types.ts	feat(editor/vscode)!: unify configuration logic (#6630)	2024-10-16 22:31:29 +00:00