Vue/graf/src/middleware/GrafModel.js
// Handles a select event for nodes
Handles a select event for nodes
Handles a select event for nodes
selectNode(node_id) {
		let was_selected = this.selection != null && this.selection.getSelectedNodeIds().includes(node_id);
		this.updateSelection("Node", node_id, was_selected);
		return !was_selected;
	}
selectNode ( node_id ) { let was_selected = this . selection != null && this . selection . getSelectedNodeIds ( ) . includes ( node_id ) ; this . updateSelection ( "Node" , node_id , was_selected ) ; return ! was_selected ; }
Handles a select event for nodes
Handles a select event for nodes
// was_selected is whether the node or edge is selected *before* it was clicked // is_selected = !was_selected