# HG changeset patch
# User drewp@bigasterisk.com
# Date 2023-05-29 18:48:28
# Node ID dfdc00c4c8fb5e2177140eeb9403205e2b9a6b8f
# Parent  18d6bdd422f2354fa5b7d6bccd4ffa1b6b0417f7

syncegraph.shorten more cases

diff --git a/light9/web/SyncedGraph.ts b/light9/web/SyncedGraph.ts
--- a/light9/web/SyncedGraph.ts
+++ b/light9/web/SyncedGraph.ts
@@ -92,9 +92,16 @@ export class SyncedGraph {
 
   // Uri(shorten(u)).value==u
   shorten(uri: N3.NamedNode): string {
-    const prefix = "http://light9.bigasterisk.com/";
-    if (uri.value.startsWith(prefix)) {
-      return ":" + uri.value.substring(prefix.length);
+    for (let row of [
+      { sh: "dev", lo: "http://light9.bigasterisk.com/theater/vet/device/" },
+      { sh: "effect", lo: "http://light9.bigasterisk.com/effect/" },
+      { sh: "", lo: "http://light9.bigasterisk.com/" },
+      { sh: "rdfs", lo: "http://www.w3.org/2000/01/rdf-schema#" },
+      { sh: "xsd", lo: "http://www.w3.org/2001/XMLSchema#" },
+    ]) {
+      if (uri.value.startsWith(row.lo)) {
+        return row.sh + ":" + uri.value.substring(row.lo.length);
+      }
     }
     return uri.value;
   }