Update packages/viewer/src/components/Properties/Show.svelte

Co-authored-by: James Dabbs <[email protected]>
pi-base · Dec 12, 2023 · bfb465c · bfb465c
1 parent 8cbcc20
commit bfb465c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/viewer/src/components/Properties/Show.svelte b/packages/viewer/src/components/Properties/Show.svelte
@@ -8,7 +8,7 @@
   export let tab: 'spaces' | 'theorems' | 'references'
   export let rel: string | undefined = undefined
 
-  const title = `P${property.id}: ${property.name}`
+  $: title = `P${property.id}: ${property.name}`
 
   const tabs = ['spaces', 'theorems', 'references'] as const
 </script>