language-server/tools.samt.ls/SamtWorkspaceService/didChangeConfiguration

didChangeConfiguration

open override fun didChangeConfiguration(params: DidChangeConfigurationParams?)