diff options
author | Maximilian Köstler <maximilian@koestler.hamburg> | 2020-03-31 18:19:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-31 18:19:51 +0200 |
commit | 182487b3c39814564a2b687d30170d42b28915f1 (patch) | |
tree | b9663a97c2249b7db44a2d29a64041a0e36396ee /python/vhdl_langserver/references.py | |
parent | 42b91517f46ca9454a8ae3f4014d9eee49c48c4c (diff) | |
download | ghdl-182487b3c39814564a2b687d30170d42b28915f1.tar.gz ghdl-182487b3c39814564a2b687d30170d42b28915f1.tar.bz2 ghdl-182487b3c39814564a2b687d30170d42b28915f1.zip |
python: fix document URI creation on Windows (#1183)
On Windows, a URI has to begin with file:/// (3 slashes!).
Now, the correct implementation from lsp.py is used to create the URIs.
Diffstat (limited to 'python/vhdl_langserver/references.py')
0 files changed, 0 insertions, 0 deletions