dekodieren fuer Codemirror

ulrich

2017-03-06 942d637e33c73edd807951f8100634cd659876fa

 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));
}