diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-09-12 22:21:27 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-12 22:21:27 +0200 |
commit | be7d755bbd4f56653acdb0edaa0da738ec092d09 (patch) | |
tree | 5e70be9d074902e9dc28c24b2043eb36b40f9e32 /subprojects/language-semantics/src/main/java | |
parent | feat: connect model generator to UI (diff) | |
download | refinery-be7d755bbd4f56653acdb0edaa0da738ec092d09.tar.gz refinery-be7d755bbd4f56653acdb0edaa0da738ec092d09.tar.zst refinery-be7d755bbd4f56653acdb0edaa0da738ec092d09.zip |
fix: SVG clipping path in Firefox
"#" should not appear in URI fragments, use "::" instead.
Diffstat (limited to 'subprojects/language-semantics/src/main/java')
2 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/MetadataCreator.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/MetadataCreator.java index d6115c5c..b6a2cdf0 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/MetadataCreator.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/metadata/MetadataCreator.java | |||
@@ -59,7 +59,7 @@ public class MetadataCreator { | |||
59 | } | 59 | } |
60 | for (int i = 0; i < nodes.length; i++) { | 60 | for (int i = 0; i < nodes.length; i++) { |
61 | if (nodes[i] == null) { | 61 | if (nodes[i] == null) { |
62 | var nodeName = "#" + i; | 62 | var nodeName = "::" + i; |
63 | nodes[i] = new NodeMetadata(nodeName, nodeName, NodeKind.IMPLICIT); | 63 | nodes[i] = new NodeMetadata(nodeName, nodeName, NodeKind.IMPLICIT); |
64 | } | 64 | } |
65 | } | 65 | } |
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java index a14b40d0..85c8d701 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | |||
@@ -236,7 +236,7 @@ public class ModelInitializer { | |||
236 | } | 236 | } |
237 | 237 | ||
238 | private String getName(Relation relation) { | 238 | private String getName(Relation relation) { |
239 | return semanticsUtils.getName(relation).orElseGet(() -> "#" + relationInfoMap.size()); | 239 | return semanticsUtils.getName(relation).orElseGet(() -> "::" + relationInfoMap.size()); |
240 | } | 240 | } |
241 | 241 | ||
242 | private void collectMetamodel() { | 242 | private void collectMetamodel() { |