From 0de54d15d49d64785f11411c99eba3ea80adccf8 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 7 Jul 2024 20:21:12 +0200
Subject: [PATCH] make a type more general

---
 script/gallery.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/gallery.ts b/script/gallery.ts
index 43fe933..c1079a0 100644
--- a/script/gallery.ts
+++ b/script/gallery.ts
@@ -37,7 +37,7 @@ function updateItems() {
     if (marker !== null) marker.hidden = hide;
   }
 
-  function disp(pfx: string, tags: string[]) {
+  function disp(pfx: string, tags: Iterable<string>) {
     return [...tags].map(x => pfx + x).join('\u2003'); // em space
   }
   let plus  = disp('+\u2009', Array.from(reqTags)); // thin space