NAME

PLS::Server::Request::Workspace::DidChangeConfiguration

DESCRIPTION

This is a notification from the client to the server indicating that there was a configuration change.

The server sends back a PLS::Server::Request::Workspace::Configuration request to ask for the new configuration.