file urls such as file:///c:/workspace/some.file get different encodings by the URL encoder on the server (no further encoding for any character in this case) and the VS Code API (resulting in file:///c%3A/workspace/some.file) in some cases, this fixes an issue emerging from that for synchronizing the text when clicking on diagram elements.
file urls such as
file:///c:/workspace/some.file
get different encodings by the URL encoder on the server (no further encoding for any character in this case) and the VS Code API (resulting infile:///c%3A/workspace/some.file
) in some cases, this fixes an issue emerging from that for synchronizing the text when clicking on diagram elements.