From e45144c0e8508eb6f923ba4921bc17cbebd92cf7 Mon Sep 17 00:00:00 2001 From: borbitter Date: Tue, 23 Jun 2026 00:45:38 +0200 Subject: [PATCH] fix: do not stroke arrow heads --- src/core/draw/sequence.typ | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/core/draw/sequence.typ b/src/core/draw/sequence.typ index b1f0659..e4d485e 100644 --- a/src/core/draw/sequence.typ +++ b/src/core/draw/sequence.typ @@ -13,12 +13,12 @@ } ( "": none, - ">": (symbol: ">", fill: color), - ">>": (symbol: "straight"), - "\\": (symbol: ">", fill: color, harpoon: true), - "\\\\": (symbol: "straight", harpoon: true), - "/": (symbol: ">", fill: color, harpoon: true, flip: true), - "//": (symbol: "straight", harpoon: true, flip: true), + ">": (symbol: ">", fill: color, stroke: (dash: "solid")), + ">>": (symbol: "straight", stroke: (dash: "solid")), + "\\": (symbol: ">", fill: color, harpoon: true, stroke: (dash: "solid")), + "\\\\": (symbol: "straight", harpoon: true, stroke: (dash: "solid")), + "/": (symbol: ">", fill: color, harpoon: true, flip: true, stroke: (dash: "solid")), + "//": (symbol: "straight", harpoon: true, flip: true, stroke: (dash: "solid")), "x": none, "o": none, ).at(sym)