make editor permanently dirty when a section is deleted

This commit is contained in:
tophf 2017-12-17 21:53:55 +03:00
parent 4a924d6aa8
commit 9e11435923

View File

@ -428,6 +428,7 @@ function removeAppliesTo(event) {
function removeSection(event) { function removeSection(event) {
const section = getSectionForChild(event.target); const section = getSectionForChild(event.target);
const cm = section.CodeMirror; const cm = section.CodeMirror;
setCleanItem($('#sections'), false);
removeAreaAndSetDirty(section); removeAreaAndSetDirty(section);
editors.splice(editors.indexOf(cm), 1); editors.splice(editors.indexOf(cm), 1);
renderLintReport(); renderLintReport();