Skip to content

Commit a0b92c3

Browse files
committed
appropriate use ValueIcon vs SourceIcon
1 parent 8c1bb9c commit a0b92c3

File tree

3 files changed

+14
-37
lines changed

3 files changed

+14
-37
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<script lang="ts">
22
import Fuse from 'fuse.js'
33
import { Icons, Link } from '../Shared'
4-
import { ValueIcon } from '../Traits'
4+
import { ValueIcon, SourceIcon } from '../Traits'
55
import context from '@/context'
66
import type { Property, Space, Trait, Traits } from '@/models'
77
import FilterButtons from './FilterButtons.svelte'
@@ -104,7 +104,7 @@
104104
</td>
105105
<td style="text-align:center">
106106
<Link.Trait {space} {property}>
107-
<ValueIcon
107+
<SourceIcon
108108
value={trait?.asserted}
109109
redundant={checkIfRedundant(space, property, $theorems, $traits)
110110
.redundant}
Lines changed: 6 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,13 @@
11
<script lang="ts">
22
export let value: boolean | undefined
3-
export let icon: 'check' | 'user' = 'check'
43
export let redundant: boolean = false
54
import { Icons } from '../Shared'
65
</script>
76

8-
{#if icon === 'user'}
9-
{#if value === true}
10-
<Icons.User />{#if redundant}*{/if}
11-
{:else if value === false}
12-
<Icons.Robot />
13-
{:else}<!-- value === undefined -->
14-
<Icons.Question />
15-
{/if}
16-
{:else}<!-- icon === "check" -->
17-
{#if value === true}
18-
<Icons.Check />
19-
{:else if value === false}
20-
<Icons.X />
21-
{:else}<!-- value === undefined -->
22-
<Icons.Question />
23-
{/if}
7+
{#if value === true}
8+
<Icons.User />{#if redundant}*{/if}
9+
{:else if value === false}
10+
<Icons.Robot />
11+
{:else}<!-- value === undefined -->
12+
<Icons.Question />
2413
{/if}
Lines changed: 6 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,12 @@
11
<script lang="ts">
22
export let value: boolean | undefined
3-
export let icon: 'check' | 'user' = 'check'
4-
export let redundant: boolean = false
53
import { Icons } from '../Shared'
64
</script>
75

8-
{#if icon === 'user'}
9-
{#if value === true}
10-
<Icons.User />{#if redundant}*{/if}
11-
{:else if value === false}
12-
<Icons.Robot />
13-
{:else}<!-- value === undefined -->
14-
<Icons.Question />
15-
{/if}
16-
{:else}<!-- icon === "check" -->
17-
{#if value === true}
18-
<Icons.Check />
19-
{:else if value === false}
20-
<Icons.X />
21-
{:else}<!-- value === undefined -->
22-
<Icons.Question />
23-
{/if}
6+
{#if value === true}
7+
<Icons.Check />
8+
{:else if value === false}
9+
<Icons.X />
10+
{:else}<!-- value === undefined -->
11+
<Icons.Question />
2412
{/if}

0 commit comments

Comments
 (0)