rhi/gallery
1
0
Fork 0
Code Issues 5 Pull requests 1 Releases Wiki Activity

make a type more general

Browse source
This commit is contained in:
rhiannon morris 2024-07-07 20:21:12 +02:00
parent fe338b2f3f
commit 0de54d15d4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
script/gallery.ts
View file

@ -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