From 99b69630122b76dee4b92b960b785f255339a276 Mon Sep 17 00:00:00 2001 From: nsdeschenes Date: Wed, 20 May 2026 15:34:56 -0300 Subject: [PATCH 01/15] Add attribute filters --- docs/src/components/AttributeCard.astro | 10 +- docs/src/components/AttributeFilters.svelte | 332 ++++++++++++++++++++ docs/src/components/SearchModal.svelte | 6 +- docs/src/pages/api/attributes.json.ts | 3 + docs/src/pages/attributes/[category].astro | 16 +- docs/src/pages/attributes/index.astro | 40 ++- 6 files changed, 392 insertions(+), 15 deletions(-) create mode 100644 docs/src/components/AttributeFilters.svelte diff --git a/docs/src/components/AttributeCard.astro b/docs/src/components/AttributeCard.astro index 5dea76c2..7ad9c783 100644 --- a/docs/src/components/AttributeCard.astro +++ b/docs/src/components/AttributeCard.astro @@ -10,9 +10,10 @@ interface Props { attribute: Attribute; id: string; showCategory?: boolean; + defaultHidden?: boolean; } -const { attribute, id, showCategory = false } = Astro.props; +const { attribute, id, showCategory = false, defaultHidden = false } = Astro.props; const { category } = parseAttributeId(id); const isDeprecated = !!attribute.deprecation; @@ -23,9 +24,16 @@ const rawJson = JSON.stringify(attribute, null, 2);