feat: make _ret end-tip configurable

This commit is contained in:
2026-06-28 02:19:54 +02:00
parent e45144c0e8
commit 48458b054d
2 changed files with 5 additions and 3 deletions

View File

@@ -57,7 +57,8 @@
seq.p2, seq.p1, seq.p2, seq.p1,
comment: ret.comment, comment: ret.comment,
disable-src: true, disable-src: true,
dashed: true dashed: true,
end-tip: ret.end-tip,
).first() ).first()
return (elmts, activation-history) return (elmts, activation-history)
} }

View File

@@ -45,9 +45,10 @@
),) ),)
} }
#let _ret(comment: none) = { #let _ret(comment: none, end-tip: ">") = {
return (( return ((
type: "ret", type: "ret",
comment: comment comment: comment,
end-tip: end-tip
),) ),)
} }