diff --git a/subprojects/frontend/src/graph/dotSource.ts b/subprojects/frontend/src/graph/dotSource.ts
index bcd386cf..ce504c37 100644
--- a/subprojects/frontend/src/graph/dotSource.ts
+++ b/subprojects/frontend/src/graph/dotSource.ts
@@ -227,6 +227,25 @@ function binarySerach(
return undefined;
}
+function getEdgeLabel(
+ name: string,
+ containment: boolean,
+ value: string,
+): string {
+ if (value !== 'ERROR') {
+ return containment ? `<${name}>` : `"${name}"`;
+ }
+ // No need to set an id for the image for animation,
+ // because it will be the only `