# HG changeset patch
# User Drew Perttula <drewp@bigasterisk.com>
# Date 1526630046 0
# Node ID 7e66643b3f5483085c6ecefa1d5976642aae3a8b
# Parent  a2faa1b70dbe983f4797106335681ebcb1256079
quieter graph logs
Ignore-this: f24071530e1ecc5c2b7a7de184f438ac

diff -r a2faa1b70dbe -r 7e66643b3f54 light9/web/graph.coffee
--- a/light9/web/graph.coffee	Thu May 17 07:44:34 2018 +0000
+++ b/light9/web/graph.coffee	Fri May 18 07:54:06 2018 +0000
@@ -224,9 +224,9 @@
     # This is the only method that writes to @graph!
     @cachedFloatValues.clear()
     for quad in patch.delQuads
-      log("remove #{JSON.stringify(quad)}")      
+      #log("remove #{JSON.stringify(quad)}")      
       did = @graph.removeQuad(quad)
-      log("removed: #{did}")
+      #log("removed: #{did}")
     for quad in patch.addQuads
       @graph.addQuad(quad)
     #log('applied patch locally', patchSizeSummary(patch))
@@ -261,7 +261,6 @@
   _singleValue: (s, p) ->
     @_autoDeps.askedFor(s, p, null, null)
     quads = @graph.getQuads(s, p)
-    console.log('got',quads)
     objs = new Set(q.object for q in quads)
     
     switch objs.size
diff -r a2faa1b70dbe -r 7e66643b3f54 light9/web/rdfdb-synced-graph.html
--- a/light9/web/rdfdb-synced-graph.html	Thu May 17 07:44:34 2018 +0000
+++ b/light9/web/rdfdb-synced-graph.html	Fri May 18 07:54:06 2018 +0000
@@ -9,7 +9,7 @@
      :host {
          display: inline-block;
          border: 1px solid gray;
-         width: 18em;
+         width: 20em;
          background: #05335a;
          color: #4fc1d4;
      }