|
|
@ -115,7 +115,6 @@ class ContextView { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
_render (node) { |
|
|
|
_render (node) { |
|
|
|
console.log('rendering') |
|
|
|
|
|
|
|
if (!node) return yo`<div></div>` |
|
|
|
if (!node) return yo`<div></div>` |
|
|
|
var self = this |
|
|
|
var self = this |
|
|
|
var references = this._api.contextualListener.referencesOf(node) |
|
|
|
var references = this._api.contextualListener.referencesOf(node) |
|
|
@ -132,26 +131,44 @@ class ContextView { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
function next () { |
|
|
|
function next () { |
|
|
|
var currentName = node.attributes.name |
|
|
|
|
|
|
|
if (currentName === this.refName) { |
|
|
|
|
|
|
|
this.ref = this.ref === undefined ? 0 : this.ref |
|
|
|
|
|
|
|
} else { this.ref = 0 } |
|
|
|
|
|
|
|
var nodes = self._api.contextualListener.getActiveHighlights() |
|
|
|
var nodes = self._api.contextualListener.getActiveHighlights() |
|
|
|
self._api.jumpTo(nodes[this.ref].position) |
|
|
|
var currentName = node.attributes.name |
|
|
|
this.ref = (this.ref + 1) % nodes.length |
|
|
|
var position = self.sourceMappingDecoder.decode(node.src) |
|
|
|
this.refName = currentName |
|
|
|
|
|
|
|
|
|
|
|
if (currentName !== self.refName) self.ref = 0 |
|
|
|
|
|
|
|
var k = self.ref |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/// LOGS ///
|
|
|
|
|
|
|
|
nodes.forEach(node => console.log(node.position.start)) |
|
|
|
|
|
|
|
console.log('----') |
|
|
|
|
|
|
|
console.log(k) |
|
|
|
|
|
|
|
console.log('----') |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
var pos = nodes[k].position |
|
|
|
|
|
|
|
self._api.jumpTo(pos) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
self.ref = (self.ref + 1) % nodes.length |
|
|
|
|
|
|
|
self.refName = currentName |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
function previous () { |
|
|
|
function previous () { |
|
|
|
var currentName = node.attributes.name |
|
|
|
|
|
|
|
if (currentName === this.refName) { |
|
|
|
|
|
|
|
this.ref = this.ref === undefined ? 0 : this.ref |
|
|
|
|
|
|
|
} else { this.ref = 0 } // should be this.ref = ref of the selected node (loop through all nodes to find this one)
|
|
|
|
|
|
|
|
var nodes = self._api.contextualListener.getActiveHighlights() |
|
|
|
var nodes = self._api.contextualListener.getActiveHighlights() |
|
|
|
this.ref = this.ref === undefined ? 0 : this.ref |
|
|
|
var currentName = node.attributes.name |
|
|
|
self._api.jumpTo(nodes[nodes.length - 1 - this.ref].position) |
|
|
|
if (currentName !== self.refName) self.ref = nodes.length - 1 |
|
|
|
this.ref = (this.ref + 1) % nodes.length |
|
|
|
|
|
|
|
this.refName = currentName |
|
|
|
var k = nodes.length - 1 - self.ref |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/// LOGS ///
|
|
|
|
|
|
|
|
nodes.forEach(node => console.log(node.position.start)) |
|
|
|
|
|
|
|
console.log('----') |
|
|
|
|
|
|
|
console.log(k) |
|
|
|
|
|
|
|
console.log('----') |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
var pos = nodes[k].position |
|
|
|
|
|
|
|
self._api.jumpTo(pos) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
self.ref = (self.ref + 1) % nodes.length |
|
|
|
|
|
|
|
self.refName = currentName |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
return yo`<div class=${css.line}>
|
|
|
|
return yo`<div class=${css.line}>
|
|
|
|