From cf139b66f69ab33406b2433ef3eee6de29a46335 Mon Sep 17 00:00:00 2001 From: Stephen Waits Date: Fri, 20 Dec 2024 11:28:31 -0700 Subject: [PATCH] chore(glossy): rm trailing whitespace --- glossy/src/gloss.typ | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/glossy/src/gloss.typ b/glossy/src/gloss.typ index 367440d..e7b4f4c 100644 --- a/glossy/src/gloss.typ +++ b/glossy/src/gloss.typ @@ -153,7 +153,7 @@ // // Parameters: // key (string): The glossary entry key -// +// // Returns: // boolean: If the term is visible in the glossary (and the label is unique) // @@ -345,7 +345,7 @@ // --------------------------------------------------------------------------- context { let text = if term-links and __has_glossary_entry(key) { - link(label(key), term) + link(label(key), term) } else { term } @@ -384,7 +384,7 @@ }) .dedup(key: ((loc, page)) => page) // deduplicate by page .map(((loc, page)) => link(loc, page)) // create links - .join(", ") + .join(", ") } // Initializes the glossary system and sets up term reference handling. @@ -559,11 +559,11 @@ )) } } - + // Add non-empty groups to output if current_entries.len() > 0 { group = if group == none { "" } else { group } - + // sort entries by case insensitivity if requested let sorted_entries = current_entries // 1. create array of tuples with (lower [if ignore-case], entry) @@ -572,7 +572,7 @@ .sorted(key: t => t.first()) // 3. strip away the tuple's first element, leaving an array of entries .map(t => t.last()) - + // add entries to this group's output map output.insert(group, sorted_entries) }