fix: label name must not be empty

This commit is contained in:
orangerot 2025-11-12 15:12:29 +01:00
parent 707f8ab9dc
commit 09bc78c920

View file

@ -67,7 +67,7 @@
doc doc
) = [ ) = [
#let checkbox(checked: false) = if (checked) {$times.square$} else {$square$} #let checkbox(checked: false) = if (checked) {$times.square$} else {$square$}
#let input(width: 1fr, name: "", body) = box(width: width, height: 1em, inset: (bottom: 2pt), baseline: 2pt, stroke: (bottom: 0.5pt),align(right, [#body #label(name)])) #let input(width: 1fr, body) = box(width: width, height: 1em, inset: (bottom: 2pt), baseline: 2pt, stroke: (bottom: 0.5pt),align(right, body))
#let grid_arguments(it) = { #let grid_arguments(it) = {
let g = it.fields() let g = it.fields()
let _ = g.remove("label") let _ = g.remove("label")