aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/graph/dotSource.ts
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/frontend/src/graph/dotSource.ts')
-rw-r--r--subprojects/frontend/src/graph/dotSource.ts5
1 files changed, 4 insertions, 1 deletions
diff --git a/subprojects/frontend/src/graph/dotSource.ts b/subprojects/frontend/src/graph/dotSource.ts
index bd358dfa..3ac5eb1c 100644
--- a/subprojects/frontend/src/graph/dotSource.ts
+++ b/subprojects/frontend/src/graph/dotSource.ts
@@ -1,5 +1,5 @@
1/* 1/*
2 * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> 2 * SPDX-FileCopyrightText: 2023-2024 The Refinery Authors <https://refinery.tools/>
3 * 3 *
4 * SPDX-License-Identifier: EPL-2.0 4 * SPDX-License-Identifier: EPL-2.0
5 */ 5 */
@@ -142,6 +142,9 @@ function createNodes(
142 if (data.unaryPredicates.size === 0) { 142 if (data.unaryPredicates.size === 0) {
143 classList.push('node-empty'); 143 classList.push('node-empty');
144 } 144 }
145 if (node.typeHash !== undefined) {
146 classList.push(`node-typeHash-${node.typeHash}`);
147 }
145 const classes = classList.join(' '); 148 const classes = classList.join(' ');
146 const name = nodeName(graph, node); 149 const name = nodeName(graph, node);
147 const border = node.kind === 'INDIVIDUAL' ? 2 : 1; 150 const border = node.kind === 'INDIVIDUAL' ? 2 : 1;