From 001db9a19f03d6939241c741039753de31420053 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sun, 17 Dec 2017 21:54:36 +0300
Subject: [PATCH] make editor fully clean on saving

---
 edit/edit.js | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/edit/edit.js b/edit/edit.js
index 8f0f25ec..6364c5bd 100644
--- a/edit/edit.js
+++ b/edit/edit.js
@@ -319,6 +319,7 @@ function isCleanGlobal() {
 }
 
 function setCleanGlobal() {
+  setCleanItem($('#sections'), true);
   $$('#header, #sections > div').forEach(setCleanSection);
   // forget the dirty applies-to ids from a deleted section after the style was saved
   dirty = {};
@@ -326,13 +327,8 @@ function setCleanGlobal() {
 
 function setCleanSection(section) {
   $$('.style-contributor', section).forEach(node => setCleanItem(node, true));
-
-  // #header section has no codemirror
-  const cm = section.CodeMirror;
-  if (cm) {
-    section.savedValue = cm.changeGeneration();
-    updateTitle();
-  }
+  setCleanItem(section, true);
+  updateTitle();
 }
 
 function toggleStyle() {