Open bluesaiz opened 1 year ago
Currently, I am facing an issue where if solargraph receive a workspace/didChangeWorkspaceFolders request with the same folder in both the "added" and "removed" fields, such as in the following message:
workspace/didChangeWorkspaceFolders
jsonCopy code{ "jsonrpc": "2.0", "method": "workspace/didChangeWorkspaceFolders", "params": { "event": { "added": [ { "uri": "file:///home/name/solargraph_test", "name": "workpath" } ], "removed": [ { "uri": "file:///home/name/solargraph_test", "name": "workpath" } ] } } }
I found the current code handling is problematic:
def process add_folders remove_folders end
maybe changed to:
def process remove_folders add_folders end
in order to handle more cases.
Currently, I am facing an issue where if solargraph receive a
workspace/didChangeWorkspaceFolders
request with the same folder in both the "added" and "removed" fields, such as in the following message:I found the current code handling is problematic:
maybe changed to:
in order to handle more cases.