Skip to content

Commit

Permalink
reactive titles using #key
Browse files Browse the repository at this point in the history
  • Loading branch information
StevenClontz committed Jun 6, 2024
1 parent 5785f14 commit 03bad88
Show file tree
Hide file tree
Showing 12 changed files with 12 additions and 12 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,6 @@
$: title = `P${data.property.id}: ${data.property.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show property={data.property} tab="theorems" rel={$page.url.pathname} />
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,6 @@
$: title = `P${data.property.id}: ${data.property.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show property={data.property} tab="references" />
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,6 @@
$: title = `P${data.property.id}: ${data.property.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show property={data.property} tab="spaces" />
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,6 @@
$: title = `P${data.property.id}: ${data.property.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show property={data.property} tab="theorems" />
2 changes: 1 addition & 1 deletion packages/viewer/src/routes/(app)/spaces/[id]/+page.svelte
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,6 @@
$: title = `S${data.space.id}: ${data.space.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show space={data.space} tab="properties" {rel} />
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@
$: title = `S${data.space.id}: ${data.space.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show space={data.space} tab="properties" />
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@

<h3>Space S{data.space.id} | Property P{data.property.id}</h3>

<Title {title} />
{#key title}<Title {title} />{/key}

<h1>
{#if data.proof}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@
$: title = `S${data.space.id}: ${data.space.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show space={data.space} tab="references" />
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@
$: title = `S${data.space.id}: ${data.space.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show space={data.space} tab="theorems" />
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,6 @@
$: title = `T${data.theorem.id}: ${data.theorem.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show theorem={data.theorem} tab="converse" rel={$page.url.pathname} />
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,6 @@
$: title = `T${data.theorem.id}: ${data.theorem.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show theorem={data.theorem} tab="converse" />
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,6 @@
$: title = `T${data.theorem.id}: ${data.theorem.name}`
</script>

<Title {title} />
{#key title}<Title {title} />{/key}

<Show theorem={data.theorem} tab="references" />

0 comments on commit 03bad88

Please sign in to comment.