From 951ddf1a7e5371adcd313c0fcf10331d5afc8d3f Mon Sep 17 00:00:00 2001 From: Tobias Ortmayr Date: Mon, 15 Jul 2024 17:46:17 +0200 Subject: [PATCH] GLSP-1369 Fix wrong edge type hint (#93) - Ensure that the type hint for weighted edges if created with the correct `elementTypeId` Part of https://github.com/eclipse-glsp/glsp/issues/1369 --- .../src/common/workflow-diagram-configuration.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/workflow-server/src/common/workflow-diagram-configuration.ts b/examples/workflow-server/src/common/workflow-diagram-configuration.ts index d8bdd9c..3e4d290 100644 --- a/examples/workflow-server/src/common/workflow-diagram-configuration.ts +++ b/examples/workflow-server/src/common/workflow-diagram-configuration.ts @@ -63,7 +63,7 @@ export class WorkflowDiagramConfiguration implements DiagramConfiguration { return [ createDefaultEdgeTypeHint(DefaultTypes.EDGE), createDefaultEdgeTypeHint({ - elementTypeId: DefaultTypes.EDGE, + elementTypeId: types.WEIGHTED_EDGE, dynamic: true, sourceElementTypeIds: [types.ACTIVITY_NODE], targetElementTypeIds: [types.TASK, types.ACTIVITY_NODE]