From 2b5cad038da01ca6ddf731eac8ade265aff90f19 Mon Sep 17 00:00:00 2001 From: Greg Shuflin Date: Tue, 11 Jul 2023 01:33:29 -0700 Subject: [PATCH] Use-order and alphabetical used symbols --- abbreviations-used-example.typ | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/abbreviations-used-example.typ b/abbreviations-used-example.typ index ef19171..8ef8939 100644 --- a/abbreviations-used-example.typ +++ b/abbreviations-used-example.typ @@ -9,6 +9,12 @@ // An example function that uses `with_used_abbreviations` #let print_usage_chart = with_used_abbreviations.with(debug: false)(final_used_abbreviations => { + show terms: t => { + for t in t.children [ + #t.term #h(2cm) #t.description\ + ] + } + let print_abbrevs(abbrv_list) = { for abbrv in abbrv_list { let explanation = if abbrv in standard_abbreviations { @@ -17,8 +23,7 @@ custom_abbreviations.at(abbrv) } - [#smallcaps(lower(abbrv)) #h(2em) #explanation] - linebreak() + terms((smallcaps(lower(abbrv)), explanation)) } }