/// <summary> /// 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. /// </summary> public virtual void OnDidChangeConfiguration(DidChangeConfigurationParams parameters) { }