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.