in packages/network-navigator/src/NetworkNavigator.ts [669:688]
private updateSelection(n?: INetworkNavigatorNode) {
let selectedNode = n;
if (n !== this._selectedNode) {
if (this._selectedNode) {
this._selectedNode.selected = false;
}
if (n) {
n.selected = true;
}
} else {
// Toggle the selected node
if (this._selectedNode) {
this._selectedNode.selected = false;
}
selectedNode = undefined;
}
log("raise selectionChanged", this._selectedNode);
this.selectedNode = selectedNode;
this.events.raiseEvent("selectionChanged", this._selectedNode);
}