From cd031943f9fdf6a022d837e76744504e2eb779f8 Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Fri, 8 Dec 2023 05:40:56 +0000
Subject: [PATCH] add ids to titles

---
 packages/viewer/src/components/Properties/Show.svelte | 4 +++-
 packages/viewer/src/components/Spaces/Show.svelte     | 4 +++-
 packages/viewer/src/components/Theorems/Show.svelte   | 4 +++-
 packages/viewer/src/components/Traits/Show.svelte     | 4 ++--
 4 files changed, 11 insertions(+), 5 deletions(-)

diff --git a/packages/viewer/src/components/Properties/Show.svelte b/packages/viewer/src/components/Properties/Show.svelte
index e08922d4..4af20e96 100644
--- a/packages/viewer/src/components/Properties/Show.svelte
+++ b/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>
 
diff --git a/packages/viewer/src/components/Spaces/Show.svelte b/packages/viewer/src/components/Spaces/Show.svelte
index a63c1da9..7ae7ad43 100644
--- a/packages/viewer/src/components/Spaces/Show.svelte
+++ b/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>
 
diff --git a/packages/viewer/src/components/Theorems/Show.svelte b/packages/viewer/src/components/Theorems/Show.svelte
index 5dac0fe8..3fc260fd 100644
--- a/packages/viewer/src/components/Theorems/Show.svelte
+++ b/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>
 
diff --git a/packages/viewer/src/components/Traits/Show.svelte b/packages/viewer/src/components/Traits/Show.svelte
index d33dbb07..c539dc68 100644
--- a/packages/viewer/src/components/Traits/Show.svelte
+++ b/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}