From 51ca6c2231963f15d71dbdfd4c3a1a033d51d5d5 Mon Sep 17 00:00:00 2001 From: JeanJPNM <61994401+JeanJPNM@users.noreply.github.com> Date: Sat, 13 Sep 2025 15:04:41 -0300 Subject: [PATCH] Handle empty arrays in jumpToOrigin --- src/definition.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/definition.ts b/src/definition.ts index 1f4341f..c036173 100644 --- a/src/definition.ts +++ b/src/definition.ts @@ -35,8 +35,9 @@ function jumpToOrigin(view: EditorView, type: {get: typeof getDefinition, capabi if (!plugin || plugin.client.hasCapability(type.capability) === false) return false plugin.client.sync() plugin.client.withMapping(mapping => type.get(plugin, view.state.selection.main.head).then(response => { - if (!response) return let loc = Array.isArray(response) ? response[0] : response + if(!loc) return; + return (loc.uri == plugin.uri ? Promise.resolve(view) : plugin.client.workspace.displayFile(loc.uri)).then(target => { if (!target) return let pos = mapping.getMapping(loc.uri) ? mapping.mapPosition(loc.uri, loc.range.start)