From 48458b054dfeab7c540c10441e71164e65ca8a32 Mon Sep 17 00:00:00 2001
From: borbitter <git@addy.hannses.de>
Date: Sun, 28 Jun 2026 02:19:54 +0200
Subject: [PATCH] feat: make _ret end-tip configurable

---
 src/core/setup.typ | 3 ++-
 src/sequence.typ   | 5 +++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/core/setup.typ b/src/core/setup.typ
index 776b2bb..edc2d8b 100644
--- a/src/core/setup.typ
+++ b/src/core/setup.typ
@@ -57,7 +57,8 @@
     seq.p2, seq.p1,
     comment: ret.comment,
     disable-src: true,
-    dashed: true
+    dashed: true,
+    end-tip: ret.end-tip,
   ).first()
   return (elmts, activation-history)
 }
diff --git a/src/sequence.typ b/src/sequence.typ
index c916996..5c707f0 100644
--- a/src/sequence.typ
+++ b/src/sequence.typ
@@ -45,9 +45,10 @@
   ),)
 }
 
-#let _ret(comment: none) = {
+#let _ret(comment: none, end-tip: ">") = {
   return ((
     type: "ret",
-    comment: comment
+    comment: comment,
+    end-tip: end-tip
   ),)
 }