From 9e1143592305ef9e2da86690dd0ddaf2bfcbb3b4 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sun, 17 Dec 2017 21:53:55 +0300
Subject: [PATCH] make editor permanently dirty when a section is deleted

---
 edit/sections.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/edit/sections.js b/edit/sections.js
index a36960dc..5e6f8715 100644
--- a/edit/sections.js
+++ b/edit/sections.js
@@ -428,6 +428,7 @@ function removeAppliesTo(event) {
 function removeSection(event) {
   const section = getSectionForChild(event.target);
   const cm = section.CodeMirror;
+  setCleanItem($('#sections'), false);
   removeAreaAndSetDirty(section);
   editors.splice(editors.indexOf(cm), 1);
   renderLintReport();