diff --git a/src/components/Chip.svelte b/src/components/Chip.svelte
index 4b23f8c82..1d6f98c6e 100644
--- a/src/components/Chip.svelte
+++ b/src/components/Chip.svelte
@@ -5,19 +5,27 @@
handle_click?: () => void
children: Snippet
size?: 'small' | 'medium'
+ selected?: boolean
+ link?: string
}
- let { handle_click, children, size = 'medium' }: Props = $props()
+ let {
+ handle_click,
+ children,
+ size = 'medium',
+ selected = false,
+ link
+ }: Props = $props()
-{#if handle_click !== undefined}
-
-{:else}
-
+
+{:else if handle_click}
+
+
{/if}
diff --git a/src/components/TagList.svelte b/src/components/TagList.svelte
index e41bdf1ea..76c028e94 100644
--- a/src/components/TagList.svelte
+++ b/src/components/TagList.svelte
@@ -1,5 +1,4 @@
{#each tags as tag}
- filter_by_tag(tag)}>
+
{tag}
diff --git a/src/routes/settings/+page.svelte b/src/routes/settings/+page.svelte
index 4ada5a523..b06545625 100644
--- a/src/routes/settings/+page.svelte
+++ b/src/routes/settings/+page.svelte
@@ -21,22 +21,13 @@
{#each THEMES as option}
{@const selected = theme.value === option}
-
+ (theme.value = option)} {selected}>
+ {option}
+ {#if selected}
+
+
+ {/if}
+
{/each}
@@ -53,34 +44,14 @@
{#each [true, false] as allow}
{@const selected = tracking.allow === allow}
-
+ (tracking.allow = allow)} {selected}>
+ {allow ? 'On' : 'Off'}
+ {#if selected}
+
+
+ {/if}
+
{/each}
-
-
diff --git a/tests/categories.spec.ts b/tests/categories.spec.ts
index 5ecf6387e..442db97bf 100644
--- a/tests/categories.spec.ts
+++ b/tests/categories.spec.ts
@@ -45,7 +45,7 @@ test("user can navigate to categories tagged with 'analysis' from the category l
await page.goto('/category-list', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'analysis',
exact: true
})
@@ -72,7 +72,7 @@ test("user can navigate to categories tagged with 'algebra' from the category de
await page.goto('/category/Grp', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'algebra',
exact: true
})
diff --git a/tests/category-properties.spec.ts b/tests/category-properties.spec.ts
index 1d87c12bb..674eef748 100644
--- a/tests/category-properties.spec.ts
+++ b/tests/category-properties.spec.ts
@@ -149,7 +149,7 @@ test("user can navigate to properties tagged with 'colimits' from the property l
await page.goto('/category-properties', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'colimits',
exact: true
})
@@ -183,7 +183,7 @@ test("user can navigate to properties tagged with 'topos theory' from the proper
await page.goto('/category-property/cartesian_closed', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'topos theory',
exact: true
})
diff --git a/tests/functor-properties.spec.ts b/tests/functor-properties.spec.ts
index 1ee8bd916..352ba9565 100644
--- a/tests/functor-properties.spec.ts
+++ b/tests/functor-properties.spec.ts
@@ -137,7 +137,7 @@ test("user can navigate to properties tagged with 'adjunctions' from the propert
await page.goto('/functor-properties', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'adjunctions',
exact: true
})
@@ -171,7 +171,7 @@ test("user can navigate to properties tagged with 'colimit preservation' from th
await page.goto('/functor-property/finitary', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'colimit preservation',
exact: true
})
diff --git a/tests/functors.spec.ts b/tests/functors.spec.ts
index 8f3120388..1829eb4b9 100644
--- a/tests/functors.spec.ts
+++ b/tests/functors.spec.ts
@@ -43,7 +43,7 @@ test("user can navigate to functors tagged with 'topology' from the functor list
await page.goto('/functor-list', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'topology',
exact: true
})
@@ -70,7 +70,7 @@ test("user can navigate to functors tagged with 'algebra' from the functor detai
await page.goto('/functor/abelianization', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'algebra',
exact: true
})
diff --git a/tests/morphism-properties.spec.ts b/tests/morphism-properties.spec.ts
index 3a8b15bf4..fe29c815f 100644
--- a/tests/morphism-properties.spec.ts
+++ b/tests/morphism-properties.spec.ts
@@ -147,7 +147,7 @@ test("user can navigate to properties tagged with 'types of epimorphism' from th
await page.goto('/morphism-properties', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'types of epimorphisms',
exact: true
})
@@ -183,7 +183,7 @@ test("user can navigate to properties tagged with 'types of monomorphisms' from
})
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'types of monomorphisms',
exact: true
})
diff --git a/tests/morphisms.spec.ts b/tests/morphisms.spec.ts
index bcf6896bb..8d1bac102 100644
--- a/tests/morphisms.spec.ts
+++ b/tests/morphisms.spec.ts
@@ -43,7 +43,7 @@ test("user can navigate to morphisms tagged with 'algebra' from the morphism lis
await page.goto('/morphism-list', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'algebra',
exact: true
})
@@ -70,7 +70,7 @@ test("user can navigate to morphisms tagged with 'set theory' from the morphism
await page.goto('/morphism/id_X', { waitUntil: 'networkidle' })
await page
- .getByRole('button', {
+ .getByRole('link', {
name: 'set theory',
exact: true
})