s/data-arch-value/data-arch-refresh/

Architype.js

@@ -40,7 +40,7 @@ class Architype {
     this.observer_ = new MutationObserver(e => { this.onChange(e); });
     this.observer_.observe(this.editorElem_, {
       attributes: true,
-      attributeFilter: ['data-arch-value'],
+      attributeFilter: ['data-arch-refresh'],
       childList: true,
       subtree: true,
     });

Editor.js

@@ -179,8 +179,7 @@ class Editor extends List {
           for (let entry of this.queryEntries('.highlight')) {
             entry.getElement().classList.toggle('highlight', false);
           }
-          // TODO: rename this to data-arch-refresh, make value noop everywhere
-          this.container_.setAttribute('data-arch-value', '');
+          this.container_.setAttribute('data-arch-refresh', '');
           e.stopPropagation();
           e.preventDefault();
           return;

EditorGroup.js

@@ -71,7 +71,7 @@ class EditorGroup extends EditorEntryBase {
 
       case ' ':
         this.elem_.classList.toggle('highlight');
-        this.elem_.setAttribute('data-arch-value', '');
+        this.elem_.setAttribute('data-arch-refresh', '');
         e.stopPropagation();
         e.preventDefault();
         break;

EditorLabel.js

@@ -38,7 +38,7 @@ class EditorLabel extends EditorEntryBase {
   }
 
   onInput() {
-    this.input_.setAttribute('data-arch-value', this.input_.value);
+    this.input_.setAttribute('data-arch-refresh', '');
   }
 
   onInputKeyDown(e) {

EditorLink.js

@@ -73,7 +73,7 @@ class EditorLink extends EditorEntryBase {
 
       case ' ':
         this.elem_.classList.toggle('highlight');
-        this.elem_.setAttribute('data-arch-value', '');
+        this.elem_.setAttribute('data-arch-refresh', '');
         e.stopPropagation();
         e.preventDefault();
         break;

EditorNode.js

@@ -57,7 +57,7 @@ class EditorNode extends EditorEntryBase {
   }
 
   onInput() {
-    this.input_.setAttribute('data-arch-value', this.input_.value);
+    this.input_.setAttribute('data-arch-refresh', '');
   }
 
   onInputKeyDown(e) {