Function edgeChanged

frontend/src/webview-client/graph-diff.ts:82–84

(oldEdge: WorkflowEdge, newEdge: WorkflowEdge)

}

function edgeChanged(oldEdge: WorkflowEdge, newEdge: WorkflowEdge): boolean {
    return oldEdge.label !== newEdge.label;
}

function workflowChanged(oldWorkflow: Workflow, newWorkflow: Workflow): boolean {
    return oldWorkflow.name !== newWorkflow.name ||