Snapshot after unhighlight-all

2019-07-12 15:08:18 +00:00
parent 1b758f7de7
commit d808b94576
1 changed files with 1 additions and 0 deletions
--- a/Editor.js
+++ b/Editor.js
@@ -207,6 +207,7 @@ class Editor extends List {
          for (let entry of this.queryEntries('.highlight')) {
            entry.getElement().classList.toggle('highlight', false);
          }
+          this.container_.setAttribute('data-arch-snapshot', '');
          this.container_.setAttribute('data-arch-refresh', '');
          e.stopPropagation();
          e.preventDefault();