Touch snapshot after refresh

This commit is contained in:
Ian Gulliver
2019-07-12 18:05:04 +00:00
parent eded7eaabd
commit 2b1272825c
3 changed files with 3 additions and 3 deletions

View File

@@ -207,8 +207,8 @@ 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', '');
this.container_.setAttribute('data-arch-snapshot', '');
e.stopPropagation();
e.preventDefault();
return;