Closed JoshuaBatty closed 1 year ago
This configuration worked:
init_options = {
logging = { level = 'trace' },
inlayHints = { maxLength = 25, renderColons = true, typeHints = true },
trace = {},
debug = { showCollectedTokensAsWarnings = 'off' }
},
It looks like all of the fields in the initialization options must be present or else the config is ignored.
Additionally, I noticed that TraceConfig
is currently ignored. We might want to remove it if it's replaced by the LoggingConfig
We may also want to make the configs optional, if we want to allow passing partial init config.
@sdankel noticed in #2 that the init_options are being ignored when passed through to the server, as below:
We should dig a bit harder to identify what part of the pipeline is failing to either pass or accept these arguments.