From d808b9457616af990b25a65e320228d6f1bdfabd Mon Sep 17 00:00:00 2001
From: Ian Gulliver <ian@flamingcow.tv>
Date: Fri, 12 Jul 2019 15:08:18 +0000
Subject: [PATCH] Snapshot after unhighlight-all

---
 Editor.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Editor.js b/Editor.js
index a8fda1d..5e5c488 100644
--- 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();