Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Send workspace folder diff upon listener notification #512
This is a fix for
Workspace folder changes are not sent to the server if they occur during initialisation #451
The gist of the fix is to remember the workspace folders sent to a language server during the "initialize" call and then send the diff between that state and the current WS folders when registering the workspace change listener.
Signed-off-by: Thomas Mäder email@example.com