fix: jumping to location did not convert the URI correctly

thus breaking Windows
pull/377/head
Blaž Hrastnik 3 years ago
parent 8e277ad8ba
commit 503ca112ae

@ -2069,9 +2069,11 @@ fn goto_impl(
offset_encoding: OffsetEncoding, offset_encoding: OffsetEncoding,
action: Action, action: Action,
) { ) {
let id = editor let path = location
.open(PathBuf::from(location.uri.path()), action) .uri
.expect("editor.open failed"); .to_file_path()
.expect("unable to convert URI to filepath");
let id = editor.open(path, action).expect("editor.open failed");
let (view, doc) = current!(editor); let (view, doc) = current!(editor);
let definition_pos = location.range.start; let definition_pos = location.range.start;
// TODO: convert inside server // TODO: convert inside server

Loading…
Cancel
Save