feat: Toggle whether redundancy show at Settings. (#241)

* feat: toggle redundancy

* fix: server-side

* chore: optimize for toggled

* run linter

* refactor to use checkbox

---------

Co-authored-by: Steven Clontz <steven.clontz@gmail.com>

Author: yhx-12243

packages/viewer/src/components/Dev/Explore.svelte

@@ -1,9 +1,15 @@
 <script lang="ts">
   import context from '@/context'
   import Log from './Log.svelte'
+  import { defaultStorage } from '@/repositories'
   import { reset } from '@/util'
 
   const { spaces, properties, theorems, traits } = context()
+
+  let showRedundancy = defaultStorage.getItem('showRedundancy') !== null
+  $: showRedundancy
+    ? defaultStorage.setItem('showRedundancy', 'show')
+    : defaultStorage.removeItem('showRedundancy')
 </script>
 
 <h4>Entities</h4>
@@ -36,5 +42,15 @@
         </button>
       </td>
     </tr>
+    <tr>
+      <td colspan="2">
+        <input
+          id="redundancyCheckbox"
+          type="checkbox"
+          bind:checked={showRedundancy}
+        />
+        <label for="redundancyCheckbox"> Show redundancies in tables </label>
+      </td>
+    </tr>
   </tbody>
 </table>

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

@@ -5,6 +5,7 @@
   import context from '@/context'
   import type { Property, Space, Trait, Traits } from '@/models'
   import FilterButtons from './FilterButtons.svelte'
+  import { defaultStorage } from '@/repositories'
   import { writable } from 'svelte/store'
   import urlSearchParam from '@/stores/urlSearchParam'
   import { checkIfRedundant } from '@/stores/deduction'
@@ -20,6 +21,8 @@
   let filterMode: 'all' | 'known' | 'asserted' | 'true' | 'false' | 'missing'
   filterMode = 'known'
 
+  let showRedundancy = defaultStorage.getItem('showRedundancy') != null
+
   $: all = related($traits)
   // all has type [Space, Property, Trait][]
   // we need to index names in different positions depending on which kind we
@@ -106,8 +109,9 @@
           <Link.Trait {space} {property}>
             <SourceIcon
               value={trait?.asserted}
-              redundant={checkIfRedundant(space, property, $theorems, $traits)
-                .redundant}
+              redundant={showRedundancy &&
+                trait?.asserted &&
+                checkIfRedundant(space, property, $theorems, $traits).redundant}
               icon="user"
             />
           </Link.Trait>

packages/viewer/src/repositories/index.ts

@@ -1,3 +1,3 @@
 export { default as constant } from './constant'
-export { default as local } from './local'
+export { default as local, defaultStorage } from './local'
 export type { Local, Spec } from './local'

packages/viewer/src/repositories/local.ts

@@ -28,7 +28,7 @@ const nullStorage: Storage = {
   removeItem: () => {},
 }
 
-let defaultStorage = nullStorage
+export let defaultStorage = nullStorage
 try {
   localStorage.setItem('__storage_test__', '1')
   localStorage.removeItem('__storage_test__')