Closed thufschmitt closed 1 day ago
Make the LSP options configurable
Take into account the configuration sent by the client through InitializeParams.initializationOptions.
InitializeParams.initializationOptions
This is currently used to set the limits for the background evaluation, although it also creates the infrastructure for setting more things.
Depends on https://github.com/tweag/nickel/pull/1973 as they both touch the same code.
One thing that's missing from this is an end-user documentation. But I'm not sure where/how to write it
:tada: All dependencies have been resolved !
@thufschmitt I'm not sure how to handle the conflict here
Make the LSP options configurable
Take into account the configuration sent by the client through
InitializeParams.initializationOptions
.This is currently used to set the limits for the background evaluation, although it also creates the infrastructure for setting more things.
Depends on https://github.com/tweag/nickel/pull/1973 as they both touch the same code.