added lifeline-style

This commit is contained in:
2024-06-18 23:00:41 +02:00
parent ed84e06560
commit 4dd940f584
4 changed files with 36 additions and 9 deletions

View File

@@ -24,4 +24,20 @@
}
}
return (min-i, max-i)
}
#let get-style(base-name, mods) = {
let style = if base-name == "lifeline" {(
fill: white,
stroke: black + 1pt
)}
if mods == auto {
return style
}
if type(mods) == dictionary {
return style + mods
}
panic("Invalid type for parameter mods, expected auto or dictionary, got " + str(type(mods)))
}