dekodieren fuer Codemirror

ulrich

2017-03-06 fab80c872af697d61f200fd410a7ecc64ca0a537

 web/ui/ui.js

@@ -129,7 +129,7 @@
    selector: "textarea.text-editor",
    statusbar: false,
    menubar: false,
    plugins: 'advlist charmap code image link lists media print preview save table textcolor',
    plugins: 'advlist charmap code image link lists media print preview save table textcolor importcss',
    toolbar: 'undo redo | styleselect | image | link unlink | bullist numlist | outdent indent | code',
    /*
    menu: {
@@ -139,6 +139,7 @@
    },
    */
    resize: 'both',
    importcss_append: true,
    width: "100%",
    height: '100%',
    document_base_url : base + "/",
@@ -742,6 +743,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 +761,9 @@
      }
    }
  });
  cm.setValue(content);
  //cm.setValue(htmlDecode(content));
  //cm.setValue(content);
  cm.setValue(unescapeHtml(content));
}


@@ -799,6 +806,31 @@
  return '{"' + obj.constructor.name + '":' + JSON.stringify(obj) + '}';
}

function escapeHtml(text) {
  text = text.replace(/\u228/g,'&auml;');
  text = text.replace(/\u246/g,'&ouml;');
  text = text.replace(/\u252/g,'&uuml;');
  text = text.replace(/\u196/g,'&Auml;');
  text = text.replace(/\u214/g,'&Ouml;');
  text = text.replace(/\u220/g,'&Uuml;');
  text = text.replace(/\u223/g,'&szlig;');
  text = text.replace(/\u26/g,'&amp;');
  return text;
}

function unescapeHtml(text) {
  text = text.replace(/&auml;/g, String.fromCharCode(228));
  text = text.replace(/&ouml;/g, String.fromCharCode(246));
  text = text.replace(/&uuml;/g, String.fromCharCode(252));
  text = text.replace(/&Auml;/g, String.fromCharCode(196));
  text = text.replace(/&Ouml;/g, String.fromCharCode(214));
  text = text.replace(/&Uuml;/g, String.fromCharCode(220));
  text = text.replace(/&szlig;/g, String.fromCharCode(223));
  text = text.replace(/&amp;/g, String.fromCharCode(26));
  return text;
}


/* ----- Objekte ----- */

function FileList(fl) {