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