[html] <pre> element should be formatted like <code> in editor, not like <p>. Fixes #15164

This commit is contained in:
Martin Aeschlimann 2016-11-08 14:45:54 +01:00
parent e8bdc1be3c
commit 594d243a1a

View file

@ -85,7 +85,7 @@
"string",
"null"
],
"default": "a, abbr, acronym, b, bdo, big, br, button, cite, code, dfn, em, i, img, input, kbd, label, map, object, q, samp, script, select, small, span, strong, sub, sup, textarea, tt, var",
"default": "a, abbr, acronym, b, bdo, big, br, button, cite, code, dfn, em, i, img, input, kbd, label, map, object, pre, q, samp, script, select, small, span, strong, sub, sup, textarea, tt, var",
"description": "List of tags, comma separated, that shouldn't be reformatted. 'null' defaults to all tags listed at https://www.w3.org/TR/html5/dom.html#phrasing-content."
},
"html.format.indentInnerHtml": {