From 8949cdff6953464827b174803fac65f2d52c2371 Mon Sep 17 00:00:00 2001
From: ficristo <ficristo.work@gmail.com>
Date: Wed, 15 Mar 2017 19:48:00 +0100
Subject: [PATCH] Do not initialize dontCloseTags

---
 src/editor/Editor.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/editor/Editor.js b/src/editor/Editor.js
index f2a4ff9ab12..0596833d3dc 100644
--- a/src/editor/Editor.js
+++ b/src/editor/Editor.js
@@ -141,7 +141,10 @@ define(function (require, exports, module) {
     PreferencesManager.definePreference(CLOSE_BRACKETS,     "boolean", true, {
         description: Strings.DESCRIPTION_CLOSE_BRACKETS
     });
-    PreferencesManager.definePreference(CLOSE_TAGS,         "object", { whenOpening: true, whenClosing: true, indentTags: [], dontCloseTags: [] }, {
+
+    // CodeMirror, html mode, set some tags do not close automatically.
+    // We do not initialize "dontCloseTags" because otherwise we would overwrite the default behavior of CodeMirror.
+    PreferencesManager.definePreference(CLOSE_TAGS,         "object", { whenOpening: true, whenClosing: true, indentTags: [] }, {
         description: Strings.DESCRIPTION_CLOSE_TAGS,
         keys: {
             dontCloseTags: {