Node highlighting

2019-07-10 23:19:39 +00:00
parent 4857bb97cb
commit d52c8206a6
5 changed files with 31 additions and 2 deletions
--- a/LayoutNode.js
+++ b/LayoutNode.js
@@ -105,6 +105,7 @@ class LayoutNode {
      type: 'node',
      pos: this.pos,
      label: this.graphNode_.label,
+      highlight: this.graphNode_.highlight,
    };
  }
 }