web/ui/ui.js
@@ -742,6 +742,10 @@ /* ---- codemirror editor handling -------- */ function htmlDecode(value){ return $('<div/>').html(value).text(); } function fm_code_edit(content, m) { cm = CodeMirror.fromTextArea(document.getElementById("editspace"), { lineNumbers: true, @@ -756,7 +760,7 @@ } } }); cm.setValue(content); cm.setValue(htmlDecode(content)); }