fix: do not stroke arrow heads

This commit is contained in:
2026-06-23 00:45:38 +02:00
parent fe66e5a72a
commit e45144c0e8

View File

@@ -13,12 +13,12 @@
} }
( (
"": none, "": none,
">": (symbol: ">", fill: color), ">": (symbol: ">", fill: color, stroke: (dash: "solid")),
">>": (symbol: "straight"), ">>": (symbol: "straight", stroke: (dash: "solid")),
"\\": (symbol: ">", fill: color, harpoon: true), "\\": (symbol: ">", fill: color, harpoon: true, stroke: (dash: "solid")),
"\\\\": (symbol: "straight", harpoon: true), "\\\\": (symbol: "straight", harpoon: true, stroke: (dash: "solid")),
"/": (symbol: ">", fill: color, harpoon: true, flip: true), "/": (symbol: ">", fill: color, harpoon: true, flip: true, stroke: (dash: "solid")),
"//": (symbol: "straight", harpoon: true, flip: true), "//": (symbol: "straight", harpoon: true, flip: true, stroke: (dash: "solid")),
"x": none, "x": none,
"o": none, "o": none,
).at(sym) ).at(sym)