Commit 2f087c98 authored by yann300's avatar yann300

add nodeId to the hightlight

parent 091b0c3f
......@@ -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 })
}
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment