diff options
Diffstat (limited to 'subprojects/frontend/src/graph/dotSource.ts')
-rw-r--r-- | subprojects/frontend/src/graph/dotSource.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subprojects/frontend/src/graph/dotSource.ts b/subprojects/frontend/src/graph/dotSource.ts index bf45d303..2d6b57de 100644 --- a/subprojects/frontend/src/graph/dotSource.ts +++ b/subprojects/frontend/src/graph/dotSource.ts | |||
@@ -269,6 +269,7 @@ function createRelationEdges( | |||
269 | weight=${edgeWeight}, | 269 | weight=${edgeWeight}, |
270 | xlabel=${label}, | 270 | xlabel=${label}, |
271 | penwidth=${penwidth}, | 271 | penwidth=${penwidth}, |
272 | arrowsize=${penwidth >= 2 ? 0.875 : 1}, | ||
272 | style="${isUnknown ? 'dashed' : 'solid'}", | 273 | style="${isUnknown ? 'dashed' : 'solid'}", |
273 | class="edge-${value}" | 274 | class="edge-${value}" |
274 | ]`); | 275 | ]`); |