changeset 1790:959371c3fa15

resource-display optimize out some redraws Ignore-this: 1e7595ef5ebb1574f0c6b77763aa6a0c
author Drew Perttula <drewp@bigasterisk.com>
date Thu, 07 Jun 2018 17:43:19 +0000
parents d8ae388a8076
children 6cdbc76d1cd5
files light9/web/resource-display.html
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/light9/web/resource-display.html	Thu Jun 07 17:42:36 2018 +0000
+++ b/light9/web/resource-display.html	Thu Jun 07 17:43:19 2018 +0000
@@ -107,7 +107,9 @@
          this.href = "javascript:;";
          return;
        }
-
+       if (patch !== null && !SyncedGraph.patchContainsPreds(patch, this.graph.Uri('rdfs:label'))) {
+         return;
+       }
        let uri = this.uri;
        if (typeof uri === 'string') {
          uri = this.graph.Uri(uri);