View source

class DidChangeConfigurationNotification

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Protocol

The configuration change notification is sent from the client to the server when the client's configuration has changed. The notification contains the changed configuration as defined by the language client.

Static variables

@:value(new ProtocolNotificationType<DidChangeConfigurationParams,DidChangeConfigurationRegistrationOptions>("workspace/didChangeConfiguration"))staticfinalinlineread onlytype:ProtocolNotificationType<DidChangeConfigurationParams, DidChangeConfigurationRegistrationOptions> = new ProtocolNotificationType<DidChangeConfigurationParams,DidChangeConfigurationRegistrationOptions>("workspace/didChangeConfiguration")