I tried in #4 to manage folder deletion/renaming, however, I didn't manage to register correctly the onDidChangeWorkspaceFolders notification handler.
The quick workaround for now is to simply reload the window but it would be convenient to not have to.
I tried in #4 to manage folder deletion/renaming, however, I didn't manage to register correctly the
onDidChangeWorkspaceFoldersnotification handler.The quick workaround for now is to simply reload the window but it would be convenient to not have to.