litter IDs throughout app

pi-base · Dec 8, 2023 · 0cd005d · 0cd005d
1 parent 104dd9e
commit 0cd005d
Show file tree

Hide file tree

Showing 15 changed files with 26 additions and 8 deletions.
diff --git a/packages/viewer/src/components/Properties/List.svelte b/packages/viewer/src/components/Properties/List.svelte
@@ -32,7 +32,7 @@
  {#each $index as property (property.id)}
  <tr>
  <td>
- <Link.Property {property}>{property.id}</Link.Property>
+ <Link.Property {property}>P{property.id}</Link.Property>
  </td>
  <td>
  <Typeset body={property.name} />

diff --git a/packages/viewer/src/components/Properties/Show.svelte b/packages/viewer/src/components/Properties/Show.svelte
@@ -13,6 +13,8 @@
 
 <Title title={property.name} />
 
+<h3>Property P{property.id}</h3>
+
 <h1>
  <Typeset body={property.name} />
  {#if property?.aliases}

diff --git a/packages/viewer/src/components/Properties/Spaces.svelte b/packages/viewer/src/components/Properties/Spaces.svelte
@@ -11,7 +11,7 @@
 </script>
 
 <Related mode="spaces" {related}>
- <Link.Space slot="id" let:space {space}>{space.id}</Link.Space>
+ <Link.Space slot="id" let:space {space}>S{space.id}</Link.Space>
 
  <Link.Space slot="name" let:space {space} />
 </Related>
diff --git a/packages/viewer/src/components/Shared/Link/Theorem.svelte b/packages/viewer/src/components/Shared/Link/Theorem.svelte
@@ -4,4 +4,8 @@
  export let theorem: { id: number }
 </script>
 
-<a href="/theorems/{Id.format('T', theorem.id)}">{theorem.id}</a>
+<a href="/theorems/{Id.format('T', theorem.id)}">
+ <slot>
+ T{theorem.id}
+ </slot>
+</a>
diff --git a/packages/viewer/src/components/Spaces/List.svelte b/packages/viewer/src/components/Spaces/List.svelte
@@ -32,7 +32,7 @@
  {#each $index as space (space.id)}
  <tr>
  <td>
- <Link.Space {space}>{space.id}</Link.Space>
+ <Link.Space {space}>S{space.id}</Link.Space>
  </td>
  <td>
  <Typeset body={space.name} />

diff --git a/packages/viewer/src/components/Spaces/Properties.svelte b/packages/viewer/src/components/Spaces/Properties.svelte
@@ -11,7 +11,7 @@
 </script>
 
 <Related mode="properties" {related}>
- <Link.Property slot="id" let:property {property}>{property.id}</Link.Property>
+ <Link.Property slot="id" let:property {property}>P{property.id}</Link.Property>
 
  <Link.Property slot="name" let:property {property} />
 </Related>
diff --git a/packages/viewer/src/components/Spaces/Show.svelte b/packages/viewer/src/components/Spaces/Show.svelte
@@ -13,6 +13,8 @@
 
 <Title title={space.name} />
 
+<h3>Space S{space.id}</h3>
+
 <h1>
  <Typeset body={space.name} />
  {#if space?.aliases}

diff --git a/packages/viewer/src/components/Theorems/List.svelte b/packages/viewer/src/components/Theorems/List.svelte
@@ -32,7 +32,7 @@
  {#each $index as theorem (theorem.id)}
  <tr>
  <td>
- <Link.Theorem {theorem} />
+ <Link.Theorem {theorem}>T{theorem.id}</Link.Theorem>
  </td>
  <td>
  <Formula value={theorem.when} />

diff --git a/packages/viewer/src/components/Theorems/Show.svelte b/packages/viewer/src/components/Theorems/Show.svelte
@@ -13,6 +13,8 @@
 
 <Title title={theorem.name} />
 
+<h3>Theorem T{theorem.id}</h3>
+
 <h1>
  <Name {theorem} />
 </h1>

diff --git a/packages/viewer/src/components/Theorems/Table.svelte b/packages/viewer/src/components/Theorems/Table.svelte
@@ -17,7 +17,7 @@
  {#each theorems as theorem (theorem.id)}
  <tr>
  <td>
- <Link.Theorem {theorem} />
+ <Link.Theorem {theorem}>T{theorem.id}</Link.Theorem>
  </td>
  <td>
  <Formula value={theorem.when} />

diff --git a/packages/viewer/src/components/Traits/Show.svelte b/packages/viewer/src/components/Traits/Show.svelte
@@ -36,6 +36,8 @@
 {:then { property, space, trait, proof, meta }}
  <Title title={`${space.name}: ${property.name}`} />
 
+ <h3>Property P{property.id} | Space S{space.id}</h3>
+
  <h1>
  {#if proof}
  <Robot />

diff --git a/packages/viewer/src/components/Traits/Table.svelte b/packages/viewer/src/components/Traits/Table.svelte
@@ -27,7 +27,7 @@
  {#each spaces as space (space.id)}
  <tr>
  <td>
- <Link.Space {space}>{space.id}</Link.Space>
+ <Link.Space {space}>S{space.id}</Link.Space>
  </td>
  <td>
  <Link.Space {space} />

diff --git a/packages/viewer/src/routes/(app)/properties/+page.svelte b/packages/viewer/src/routes/(app)/properties/+page.svelte
@@ -5,4 +5,6 @@
  export let data: PageData
 </script>
 
+<h1>Properties</h1>
+
 <List properties={data.properties} />
diff --git a/packages/viewer/src/routes/(app)/spaces/all/+page.svelte b/packages/viewer/src/routes/(app)/spaces/all/+page.svelte
@@ -5,4 +5,6 @@
  export let data: PageData
 </script>
 
+<h1>Spaces</h1>
+
 <List spaces={data.spaces} />
diff --git a/packages/viewer/src/routes/(app)/theorems/+page.svelte b/packages/viewer/src/routes/(app)/theorems/+page.svelte
@@ -5,4 +5,6 @@
  export let data: PageData
 </script>
 
+<h1>Theorems</h1>
+
 <List theorems={data.theorems} />