From 3998209c6ec9a51a7416e48fce8e869738626b26 Mon Sep 17 00:00:00 2001 From: yann300 Date: Wed, 6 Dec 2017 12:02:54 +0100 Subject: [PATCH] add nodeId to the hightlight --- src/app/editor/contextualListener.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/app/editor/contextualListener.js b/src/app/editor/contextualListener.js index 6f5363eb09..914d16bcb8 100644 --- a/src/app/editor/contextualListener.js +++ b/src/app/editor/contextualListener.js @@ -99,7 +99,7 @@ class ContextualListener { var position = this.sourceMappingDecoder.decode(node.src) var eventId = this._api.highlight(position, node) if (eventId) { - this._activeHighlights.push({ eventId, position, fileTarget: this._api.getSourceName(position.file) }) + this._activeHighlights.push({ eventId, position, fileTarget: this._api.getSourceName(position.file), nodeId: node.id }) } }