/// <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)
{
}
/// <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)
{
}
