add nodeId to the hightlight

pull/3094/head
yann300 7 years ago
parent 14e7900857
commit 3998209c6e
  1. 2
      src/app/editor/contextualListener.js

@ -99,7 +99,7 @@ class ContextualListener {
var position = this.sourceMappingDecoder.decode(node.src) var position = this.sourceMappingDecoder.decode(node.src)
var eventId = this._api.highlight(position, node) var eventId = this._api.highlight(position, node)
if (eventId) { 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 })
} }
} }

Loading…
Cancel
Save