add ids to titles

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

@@ -8,10 +8,12 @@
  export let tab: 'spaces' | 'theorems' | 'references'
  export let rel: string | undefined = undefined
 
+ const title = `P${property.id}: ${property.name}`
+
  const tabs = ['spaces', 'theorems', 'references'] as const
 </script>
 
-<Title title={property.name} />
+<Title {title} />
 
 <h3>Property P{property.id}</h3>
 

packages/viewer/src/components/Spaces/Show.svelte

@@ -8,10 +8,12 @@
  export let tab: 'properties' | 'theorems' | 'references'
  export let rel: string | undefined = undefined
 
+ const title = `S${space.id}: ${space.name}`
+
  const tabs = ['properties', 'theorems', 'references'] as const
 </script>
 
-<Title title={space.name} />
+<Title {title} />
 
 <h3>Space S{space.id}</h3>
 

packages/viewer/src/components/Theorems/Show.svelte

@@ -8,10 +8,12 @@
  export let tab: 'converse' | 'references'
  export let rel: string | undefined = undefined
 
+ const title = `T${theorem.id}: ${theorem.name}`
+
  const tabs = ['converse', 'references'] as const
 </script>
 
-<Title title={theorem.name} />
+<Title {title} />
 
 <h3>Theorem T{theorem.id}</h3>
 

packages/viewer/src/components/Traits/Show.svelte

@@ -34,9 +34,9 @@
 {#await loading}
  <Loading />
 {:then { property, space, trait, proof, meta }}
- <Title title={`${space.name}: ${property.name}`} />
+ <Title title={`S${space.id}|P${property.id}: ${space.name} | ${property.name}`} />
 
- <h3>Property P{property.id} | Space S{space.id}</h3>
+ <h3>Space S{space.id} | Property P{property.id}</h3>
 
  <h1>
  {#if proof}